minor generalization #3463
Triggered via pull request
January 31, 2025 14:10
affeldt-aist
affeldt-aist
synchronize
#1461
Status
Success
Total duration
25m 42s
Artifacts
–
nix-action-master.yml
on: pull_request_target
coq
41s
mathcomp-analysis-single
16m 10s
mathcomp
8m 19s
mathcomp-experimental-reals
2m 44s
mathcomp-analysis-stdlib
1m 34s