prepare release #132
Triggered via pull request
September 20, 2023 13:55
gares
Status
Success
Total duration
9m 23s
Artifacts
–
nix-action-coq-8.17.yml
on: pull_request
coq
42s
mathcomp-single-planB-src
28s
QuickChick
39s
Verdi
34s
autosubst
42s
category-theory
30s
mathcomp-bigenough
42s
mathcomp-finmap
31s
reglang
35s
relation-algebra
41s
interval
30s
odd-order
34s