Docker CI

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

Triggered via push February 15, 2025 00:25

main

Status Success

Total duration 2m 51s

Artifacts 2

docker-action.yml

on: push

1 warning

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

Produced during runtime

Name	Size
artifact	58 MB
github-pages Expired	56.8 MB