minimal changes to documentation to test coq2html #2250
Triggered via pull request
December 8, 2023 02:03
affeldt-aist
affeldt-aist
synchronize
#1108
Status
Success
Total duration
14m 40s
Artifacts
–
nix-action-8.15.yml
on: pull_request_target
coq
32s
mathcomp-analysis
13m 50s
mathcomp-analysis-single
8m 45s