fixes #1006 #2245
Triggered via pull request
January 18, 2024 05:35
affeldt-aist
affeldt-aist
synchronize
#1155
Status
Success
Total duration
11m 17s
Artifacts
–
nix-action-master.yml
on: pull_request_target
coq
58s
mathcomp
59s
mathcomp-analysis
1m 7s
mathcomp-analysis-single
1m 6s