Fix the level of postfix notations #108
nix-action-master.yml
on: pull_request_target
rocq-core
2m 15s
rocq-elpi
2m 49s
mathcomp
13m 30s
mathcomp-abel
4m 39s
mathcomp-apery
9m 45s