Docker CI

Port the docs to Coq 8.20 #143

Triggered via pull request February 15, 2025 00:18

synchronize #77

thomas-lamiaux:v8.20

Status Success

Total duration 2m 22s

Artifacts 1

docker-action.yml

on: pull_request

1 warning

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

Produced during runtime

Name	Size
artifact	58 MB