Test nixpkgs#352394 #658
proux01nix-action-8.17.yml
on: pull_request_target
coq
35s
HoTT
2m 43s
LibHyps
1m 6s
bbv
1m 18s
coq-lsp
1m 36s
coq-record-update
1m 6s
coq-shell
1m 3s
coqide
1m 20s
coqutil
1m 31s
dpdgraph
1m 8s
high-school-geometry
2m 8s
itauto
2m 25s
metalib
1m 10s
pocklington
1m 13s
rewriter
6m 12s
semantics
1m 15s
serapi
1m 38s
smtcoq
1m 41s
mathcomp-word
4m 59s
addition-chains
5m 31s
gaia
7m 17s
http
1m 32s
graph-theory
16m 11s
mathcomp-altreals
1m 21s
coqeal
3m 45s
mathcomp
2m 51s
mathcomp-infotheo
7m 29s
mathcomp-analysis-stdlib
1m 20s