Update Changelog.md #203
Triggered via pull request
January 10, 2024 10:56
CohenCyril
opened
#410
Status
Success
Total duration
40m 6s
Artifacts
–
nix-action-coq-8.18.yml
on: pull_request_target
coq
25s
mathcomp-single
31s
QuickChick
1m 32s
Verdi
1m 45s
autosubst
1m 11s
deriving
1m 17s
reglang
1m 33s
interval
2m 15s
coqeal
3m 7s
odd-order
12m 33s