Skip to content

Merge pull request #17 from formal-land/guillaume-claret@add-install-… #67

Merge pull request #17 from formal-land/guillaume-claret@add-install-…

Merge pull request #17 from formal-land/guillaume-claret@add-install-… #67

Triggered via push November 25, 2024 17:40
Status Success
Total duration 3m 35s
Artifacts

coq.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

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