Testbed

Testbed #2

Sign in to view logs

Manually triggered December 7, 2023 21:24

tydeu

stage/dev

Status Cancelled

Total duration 48s

Artifacts 5

testbed.yml

on: workflow_dispatch

Matrix: build

Collect Results

Annotations

20 errors

Build wellecks/ntptutorial

The run was canceled by @tydeu.

Build wellecks/ntptutorial

Process completed with exit code 1.

Build leanprover/std4

The run was canceled by @tydeu.

Build leanprover/std4

Process completed with exit code 1.

Build kmill/lean4-raytracer

The run was canceled by @tydeu.

Build leanprover-community/mathematics_in_lean

The run was canceled by @tydeu.

Build leanprover-community/mathematics_in_lean

The operation was canceled.

Build leanprover-community/aesop

The run was canceled by @tydeu.

Build leanprover-community/aesop

Process completed with exit code 1.

Build lurk-lab/yatima

The run was canceled by @tydeu.

Build lurk-lab/yatima

Process completed with exit code 1.

Build lurk-lab/yatima

The operation was canceled.

Build Paper-Proof/paperproof

The run was canceled by @tydeu.

Build Paper-Proof/paperproof

The operation was canceled.

Build teorth/symmetric_project

The run was canceled by @tydeu.

Build teorth/symmetric_project

The operation was canceled.

Build google-deepmind/debate

The run was canceled by @tydeu.

Build google-deepmind/debate

The operation was canceled.

Build leanprover-community/lean4-metaprogramming-book

The run was canceled by @tydeu.

Build leanprover-community/lean4-metaprogramming-book

The operation was canceled.

Artifacts

Produced during runtime

Name	Size
kmill-lean4--raytracer Expired	126 Bytes
leanprover--community-aesop Expired	126 Bytes
leanprover-std4 Expired	126 Bytes
matrix Expired	1.79 KB
wellecks-ntptutorial Expired	126 Bytes