Skip to content

Add slides ITP24's Coq Workshop #76

Add slides ITP24's Coq Workshop

Add slides ITP24's Coq Workshop #76

Triggered via pull request October 13, 2024 13:34
Status Failure
Total duration 2m 34s
Artifacts

docker-action.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
build
Scope type is not declared.
build
Failed to remove 'http.https://github.com/.extraheader' from the git config