Coq

Draft: Add Coq to the CI #7

Sign in to view logs

Triggered via pull request October 30, 2024 21:07

clarus

synchronize #2

guillaume-claret@add-coq-ci

Status Failure

Total duration 6m 34s

Artifacts –

coq.yml

on: pull_request

Matrix: build

Annotations

1 warning

build (x86_64-unknown-linux-gnu)

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