Adapt to https://github.com/math-comp/math-comp/pull/1545 (#1860) #1476
nix-action-9.0.yml
on: push
rocq-core
3m 6s
mathcomp-analysis-single
14m 7s
ssprove
5m 43s
mathcomp-infotheo
6m 47s