Experimenting with a generic sup interface #511
Triggered via pull request
January 22, 2026 17:21
CohenCyril
CohenCyril
synchronize
#1830
Status
Success
Total duration
30m 8s
Artifacts
–
nix-action-9.1.yml
on: pull_request_target
rocq-core
1m 4s
mathcomp-analysis-single
14m 39s
mathcomp-experimental-reals
1m 19s
mathcomp-infotheo
6m 59s