ElmExtraction #566
Triggered via pull request
September 10, 2024 17:51
Status
Success
Total duration
2h 28m 38s
Artifacts
–
nix-action-8.17.yml
on: pull_request
coq
36s
HoTT
2m 39s
LibHyps
1m 11s
coq-record-update
1m 2s
coq-shell
1m 1s
coqide
1m 16s
dpdgraph
1m 10s
itauto
2m 15s
metalib
1m 6s
pocklington
1m 12s
semantics
1m 11s
smtcoq
1m 44s
category-theory
9m 46s
gappalib
2m 25s
trakt
2m 25s
coq-hammer
1m 12s
coq-lsp
1m 37s
parsec
1m 8s
relation-algebra
2m 31s
topology
1m 14s
extructures
1m 54s
interval
3m 55s
corn
8m 44s
vcfloat
3m 51s
QuickChick
1m 57s
Verdi
2m 3s
iris-named-props
1m 7s
VST
19m 4s
graph-theory
15m 39s
mathcomp-infotheo
9m 5s
coqeal
4m 15s
mathcomp
3m 54s
ElmExtraction
4m 57s