Skip to content
Coq

Update README.md #62

Sign in to view logs

Update README.md

Update README.md #62

Triggered via push February 10, 2025 09:15
@clarusclarus
pushed cde64a8
main
Status Success
Total duration 4m 36s
Artifacts –

coq.yml

on: push
build
4m 26s
build
Fit to window
Zoom out
Zoom in

Annotations

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