Merge pull request #169 from coq-community/fine-tune-workflow-events #180
nix-action-8.17.yml
on: push
coq
30s
HoTT
35s
LibHyps
30s
coq-record-update
32s
coq-shell
32s
coqide
27s
dpdgraph
32s
itauto
30s
metalib
29s
pocklington
30s
semantics
36s
trakt
33s
category-theory
33s
coq-lsp
29s
iris
35s
ITree
36s
parsec
35s
relation-algebra
36s
topology
37s
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.
|