Skip to content
Docker CI

Port the docs to Coq 8.20 (#77) #145

Sign in to view logs

Port the docs to Coq 8.20 (#77)

Port the docs to Coq 8.20 (#77) #145

Triggered via push February 15, 2025 00:25
@thomas-lamiauxthomas-lamiaux
pushed 57467bd
main
Status Success
Total duration 2m 51s
Artifacts 2

docker-action.yml

on: push
build
2m 13s
build
deploy
21s
deploy
Fit to window
Zoom out
Zoom in

Annotations

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

Artifacts

Produced during runtime
Name Size Digest
artifact
58 MB
sha256:c08fd548c606915c78bdc8810c67ca33b5a5e4679b9a35b5494a8e9c9ef17ba2
github-pages Expired
56.8 MB
sha256:b671d393f2588339ce11b77fc25cb2a3a247f9f12ff0c25f7bef1c191e7da327