Test compilation

Install metarocq cachix #426

Sign in to view logs

Triggered via push April 14, 2025 22:56

mattam82

nix-CI

Status Failure

Total duration 4m 9s

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