Adapt to https://github.com/math-comp/math-comp/pull/1545 (#1860) #664
affeldt-aistnix-action-9.1.yml
on: push
rocq-core
49s
mathcomp-analysis-single
14m 24s
mathcomp-experimental-reals
1m 40s
mathcomp-infotheo
6m 33s