Test compilation

Fix rocq_makefile call #416

Sign in to view logs

Triggered via push April 10, 2025 13:00

mattam82

9.0

Status Failure

Total duration 4m 16s

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