Update Changelog.md #7
Triggered via pull request
January 10, 2024 10:56
CohenCyril
opened
#410
Status
Success
Total duration
38m 57s
Artifacts
–
nix-action-coq-8.19.yml
on: pull_request_target
coq
27s
mathcomp-single
26s
fourcolor
13m 33s
coq-bits
1m 15s
coqeal
3m 5s
odd-order
11m 35s