Test NixOS/nixpkgs#267595 #219
Triggered via pull request
November 15, 2023 12:38
vbgl
Status
Success
Total duration
52m 28s
Artifacts
–
nix-action-8.17.yml
on: pull_request
coq
27s
HoTT
33s
LibHyps
27s
coq-record-update
25s
coq-shell
25s
coqide
25s
dpdgraph
24s
itauto
35s
metalib
24s
pocklington
29s
semantics
29s
gappalib
29s
trakt
31s
category-theory
9m 8s
coq-lsp
29s
parsec
25s
relation-algebra
1m 53s
topology
24s
extructures
1m 45s
corn
30s
QuickChick
1m 23s
Verdi
1m 23s
iris-named-props
26s
VST
24s
graph-theory
14m 37s
mathcomp-algebra-tactics
1m 11s