Triggered via pull request
December 2, 2024 11:23
CohenCyril
CohenCyril
synchronize
#725
Status
Success
Total duration
50m 4s
Artifacts
–
nix-action-coq-8.20.yml
on: pull_request_target
coq
52s
interval
3m 34s
mathcomp-experimental-reals
2m 41s
coqeal
5m 28s
mathcomp-analysis-stdlib
12m 3s
odd-order
12m 27s