Test compilation

Nix CI #427

Sign in to view logs

Triggered via pull request April 14, 2025 22:56

mattam82

synchronize #35

nix-CI

Status Failure

Total duration 4m 26s

Artifacts –

main.yml

on: pull_request

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