relation-algebra 1.7.10 & 1.7.11 #512
nix-action-8.18.yml
on: pull_request
coq
37s
HoTT
33s
LibHyps
38s
bbv
37s
coq-lsp
38s
coq-record-update
34s
coq-shell
34s
coqide
35s
coqutil
33s
dpdgraph
37s
high-school-geometry
32s
itauto
37s
metalib
33s
pocklington
36s
rewriter
37s
semantics
32s
serapi
35s
smtcoq
34s
vscoq-language-server
34s
waterproof
33s
relation-algebra
2m 4s
Verdi
34s
mathcomp-tarjan
33s
interval
2m 26s
graph-theory
35s