Test compilation

More renamings / html fixes #414

Sign in to view logs

Triggered via push April 8, 2025 10:51

mattam82

9.0

Status Failure

Total duration 4m 5s

Artifacts –

main.yml

on: push

Matrix: build-matrix

Annotations

1 warning

build-matrix (coq-verified-extraction.opam, mattam82/metacoq:metacoq-1.3.2-coq-8.19)

Failed to remove 'http.https://github.com/.extraheader' from the git config