Skip to content

Clarify structure

Clarify structure #207

Triggered via pull request October 7, 2024 12:50
@proux01proux01
synchronize #2
Status Cancelled
Total duration 11m 35s
Artifacts

nix-action-coq-master.yml

on: pull_request_target
metacoq-pcuic
0s
metacoq-pcuic
fiat-crypto-legacy
0s
fiat-crypto-legacy
mathcomp-ssreflect
0s
mathcomp-ssreflect
hierarchy-builder-test
0s
hierarchy-builder-test
smtcoq-trakt
0s
smtcoq-trakt
bedrock2
0s
bedrock2
itree-io
0s
itree-io
metacoq-safechecker
0s
metacoq-safechecker
mathcomp-fingroup
0s
mathcomp-fingroup
QuickChick
0s
QuickChick
autosubst
0s
autosubst
mathcomp-bigenough
0s
mathcomp-bigenough
mathcomp-finmap
0s
mathcomp-finmap
relation-algebra
0s
relation-algebra
category-theory
0s
category-theory
coquelicot
0s
coquelicot
deriving
0s
deriving
rupicola
0s
rupicola
metacoq-erasure
0s
metacoq-erasure
mathcomp-algebra
0s
mathcomp-algebra
async-test
0s
async-test
quickchick-test
0s
quickchick-test
VerdiRaft
0s
VerdiRaft
iris-examples
0s
iris-examples
fiat-crypto
0s
fiat-crypto
metacoq
0s
metacoq
mathcomp-solvable
0s
mathcomp-solvable
mathcomp-classical
0s
mathcomp-classical
mathcomp-word
0s
mathcomp-word
fourcolor
0s
fourcolor
mathcomp-zify
0s
mathcomp-zify
fcsl-pcm
0s
fcsl-pcm
metacoq-test
0s
metacoq-test
mathcomp-field
0s
mathcomp-field
mathcomp-character
0s
mathcomp-character
mathcomp-analysis
0s
mathcomp-analysis
mathcomp
0s
mathcomp
odd-order
0s
odd-order
mathcomp-test
0s
mathcomp-test
Fit to window
Zoom out
Zoom in

Annotations

38 errors
InfSeqExt
The run was canceled by @proux01.
aac-tactics
The run was canceled by @proux01.
MenhirLib
The run was canceled by @proux01.
StructTact
The run was canceled by @proux01.
argosy
The run was canceled by @proux01.
atbr
The run was canceled by @proux01.
bignums
The run was canceled by @proux01.
bbv
The run was canceled by @proux01.
ceres
The run was canceled by @proux01.
coinduction
The run was canceled by @proux01.
coq-elpi
The run was canceled by @proux01.
coq-hammer-tactics
The run was canceled by @proux01.
coq-ext-lib
The run was canceled by @proux01.
coq-tools
The run was canceled by @proux01.
coq-performance-tests
The run was canceled by @proux01.
cross-crypto
The run was canceled by @proux01.
coqutil
The run was canceled by @proux01.
dpdgraph-test
The run was canceled by @proux01.
engine-bench
The run was canceled by @proux01.
mtac2
The run was canceled by @proux01.
fiat-parsers
The run was canceled by @proux01.
kami
The run was canceled by @proux01.
flocq
The run was canceled by @proux01.
itauto
The run was canceled by @proux01.
equations
The run was canceled by @proux01.
perennial
The run was canceled by @proux01.
paramcoq-test
The run was canceled by @proux01.
paco
The run was canceled by @proux01.
neural-net-coq-interp
The run was canceled by @proux01.
rewriter
The run was canceled by @proux01.
smtcoq
The run was canceled by @proux01.
sf
The run was canceled by @proux01.
stalmarck
The run was canceled by @proux01.
stdlib-refman-html
The run was canceled by @proux01.
stdlib-test
The run was canceled by @proux01.
stdpp
The run was canceled by @proux01.
tlc
The run was canceled by @proux01.
waterproof
The run was canceled by @proux01.