Skip to content
CI

chore: test a theory #70

Sign in to view logs

chore: test a theory

chore: test a theory #70

Triggered via push December 5, 2023 22:19
@tydeutydeu
pushed 42eb2ce
stage/dev
Status Cancelled
Total duration 51s
Artifacts 2

ci.yml

on: push
Index  /  Fetch
6s
Index / Fetch
Testbed  /  Setup
5s
Testbed / Setup
Matrix: Testbed / build
Testbed  /  Collect Results
0s
Testbed / Collect Results
Pages  /  Bundle Manifest
6s
Pages / Bundle Manifest
Pages  /  Deploy
0s
Pages / Deploy
Fit to window
Zoom out
Zoom in

Annotations

17 errors
Index / Fetch
Canceling since a higher priority waiting request for 'index/stage/dev' exists
Testbed / Build leanprover-community/aesop
Canceling since a higher priority waiting request for 'testbed/stage/dev' exists
Testbed / Build kmill/lean4-raytracer
Canceling since a higher priority waiting request for 'testbed/stage/dev' exists
Testbed / Build joehendrix/lean-crypto
Canceling since a higher priority waiting request for 'testbed/stage/dev' exists
Testbed / Build leanprover/LeanInk
Canceling since a higher priority waiting request for 'testbed/stage/dev' exists
Testbed / Build BartoszPiotrowski/lean-premise-selection
Canceling since a higher priority waiting request for 'testbed/stage/dev' exists
Testbed / Build lurk-lab/yatima
Canceling since a higher priority waiting request for 'testbed/stage/dev' exists
Testbed / Build avigad/lamr
Canceling since a higher priority waiting request for 'testbed/stage/dev' exists
Testbed / Build arthurpaulino/LeanMySQL
Canceling since a higher priority waiting request for 'testbed/stage/dev' exists
Testbed / Build Anderssorby/SDL.lean
Canceling since a higher priority waiting request for 'testbed/stage/dev' exists
Testbed / Build rami3l/plfl
Canceling since a higher priority waiting request for 'testbed/stage/dev' exists
Testbed / Build forked-from-1kasper/ground_zero
Canceling since a higher priority waiting request for 'testbed/stage/dev' exists
Testbed / Build siddhartha-gadgil/Saturn
Canceling since a higher priority waiting request for 'testbed/stage/dev' exists
Testbed / Build digama0/mm-lean4
Canceling since a higher priority waiting request for 'testbed/stage/dev' exists
Testbed / Build leanprover-community/con-nf
Canceling since a higher priority waiting request for 'testbed/stage/dev' exists
Testbed / Build leanprover-community/duper
Canceling since a higher priority waiting request for 'testbed/stage/dev' exists
Pages / Bundle Manifest
Unable to find an artifact with the name: results

Artifacts

Produced during runtime
Name Size
index Expired
27 KB
matrix Expired
2.61 KB