Skip to content
Nix CI for bundle coq-8.18

Disactivate coqeal on master (currently broken) #317

Sign in to view logs

Disactivate coqeal on master (currently broken)

Disactivate coqeal on master (currently broken) #317

Triggered via pull request October 30, 2024 09:36
@proux01proux01
opened #458
Status Success
Total duration 58m 19s
Artifacts –

nix-action-coq-8.18.yml

on: pull_request_target
coq
39s
coq
hierarchy-builder
1m 17s
hierarchy-builder
mathcomp-ssreflect
5m 36s
mathcomp-ssreflect
mathcomp-single
8m 53s
mathcomp-single
mathcomp-fingroup
6m 17s
mathcomp-fingroup
QuickChick
6m 29s
QuickChick
mathcomp-bigenough
5m 47s
mathcomp-bigenough
coquelicot
6m 20s
coquelicot
mathcomp-finmap
5m 54s
mathcomp-finmap
Verdi
6m 16s
Verdi
autosubst
5m 54s
autosubst
deriving
6m 19s
deriving
reglang
6m 3s
reglang
relation-algebra
7m 4s
relation-algebra
mathcomp-algebra
4m 44s
mathcomp-algebra
async-test
1m 18s
async-test
interval
2m 31s
interval
mathcomp-solvable
6m 29s
mathcomp-solvable
multinomials
5m 38s
multinomials
fourcolor
16m 28s
fourcolor
coq-bits
4m 54s
coq-bits
addition-chains
5m 33s
addition-chains
http
1m 31s
http
mathcomp-field
5m 22s
mathcomp-field
mathcomp-character
5m 14s
mathcomp-character
mathcomp-real-closed
5m 10s
mathcomp-real-closed
mathcomp
3m 2s
mathcomp
coqeal
4m 48s
coqeal
odd-order
13m 34s
odd-order
Fit to window
Zoom out
Zoom in