Skip to content
Back to pull request #454

remove buggy notation #313

Sign in to view logs

remove buggy notation

remove buggy notation #313

Triggered via pull request October 25, 2024 08:00
@garesgares
opened #454
Status Failure
Total duration 1h 13m 51s
Artifacts –

nix-action-coq-8.18.yml

on: pull_request_target
coq
40s
coq
hierarchy-builder
1m 20s
hierarchy-builder
mathcomp-ssreflect
5m 52s
mathcomp-ssreflect
mathcomp-single
9m 7s
mathcomp-single
mathcomp-fingroup
1m 54s
mathcomp-fingroup
mathcomp-bigenough
1m 17s
mathcomp-bigenough
QuickChick
1m 44s
QuickChick
mathcomp-finmap
1m 24s
mathcomp-finmap
coquelicot
1m 49s
coquelicot
Verdi
1m 48s
Verdi
autosubst
1m 15s
autosubst
deriving
1m 44s
deriving
reglang
1m 36s
reglang
mathcomp-algebra
5m 16s
mathcomp-algebra
async-test
1m 21s
async-test
interval
3m 43s
interval
mathcomp-solvable
6m 5s
mathcomp-solvable
mathcomp-classical
7m 12s
mathcomp-classical
multinomials
5m 27s
multinomials
fourcolor
16m 33s
fourcolor
coq-bits
4m 49s
coq-bits
addition-chains
6m 29s
addition-chains
http
1m 27s
http
mathcomp-field
5m 28s
mathcomp-field
mathcomp-character
5m 22s
mathcomp-character
mathcomp-real-closed
5m 4s
mathcomp-real-closed
mathcomp-analysis
7m 58s
mathcomp-analysis
mathcomp
3m 1s
mathcomp
coqeal
3m 30s
coqeal
odd-order
13m 21s
odd-order
Fit to window
Zoom out
Zoom in

Annotations

1 error
mathcomp-analysis
Process completed with exit code 1.