Skip to content
Nix CI for bundle coq-8.18

[refactor] instance declaration #90

Sign in to view logs

[refactor] instance declaration

[refactor] instance declaration #90

Triggered via pull request October 22, 2023 10:54
@ptorrxptorrx
synchronize #376
Status Success
Total duration 7m 43s
Artifacts –

nix-action-coq-8.18.yml

on: pull_request_target
coq
43s
coq
hierarchy-builder
41s
hierarchy-builder
mathcomp-single
41s
mathcomp-single
mathcomp-ssreflect
35s
mathcomp-ssreflect
mathcomp-fingroup
38s
mathcomp-fingroup
Verdi
42s
Verdi
autosubst
29s
autosubst
coquelicot
32s
coquelicot
mathcomp-bigenough
30s
mathcomp-bigenough
mathcomp-finmap
28s
mathcomp-finmap
reglang
29s
reglang
mathcomp-algebra
32s
mathcomp-algebra
mathcomp-solvable
28s
mathcomp-solvable
fourcolor
39s
fourcolor
coq-bits
29s
coq-bits
addition-chains
28s
addition-chains
mathcomp-field
38s
mathcomp-field
mathcomp-character
35s
mathcomp-character
mathcomp
33s
mathcomp
odd-order
28s
odd-order
Fit to window
Zoom out
Zoom in