Test PR #179
Zimmi48nix-action-8.17.yml
on: pull_request_target
coq
30s
HoTT
36s
LibHyps
26s
coq-record-update
28s
coq-shell
30s
coqide
33s
dpdgraph
27s
itauto
29s
metalib
27s
pocklington
27s
semantics
26s
trakt
28s
category-theory
34s
coq-lsp
37s
iris
26s
ITree
35s
parsec
29s
relation-algebra
25s
topology
29s
mathcomp-tarjan
0s
extructures
0s
interval
0s
corn
0s
QuickChick
0s
Verdi
0s
addition-chains
0s
mathcomp-algebra-tactics
0s
Annotations
7 errors
|
|
|
|
|
QuickChick
The run was canceled by @Zimmi48.
|
|
extructures
The run was canceled by @Zimmi48.
|
|
|
|
mathcomp-algebra
The run was canceled by @Zimmi48.
|
|
mathcomp-tarjan
The run was canceled by @Zimmi48.
|