CI

feat: option to persist testbed runs in index #76

Sign in to view logs

Triggered via push December 6, 2023 03:16

tydeu

stage/dev

Status Success

Total duration 8m 55s

Artifacts 19

ci.yml

on: push

Testbed / Setup

Matrix: Testbed / build

Testbed / Collect Results

Pages / Bundle Manifest

https://0yn2gcf-lebrvasecqa6gegglu8--vermillion-stardust-57acd6.netlify.app

Annotations

8 errors

Testbed / Build Anderssorby/SDL.lean

Process completed with exit code 1.

Testbed / Build lurk-lab/Wasm.lean

Process completed with exit code 1.

Testbed / Build hrmacbeth/math2001

Process completed with exit code 1.

Testbed / Build yuma-mizuno/lean-math-workshop

Process completed with exit code 1.

Testbed / Build google-deepmind/debate

Process completed with exit code 1.

Testbed / Build nomeata/loogle

Process completed with exit code 1.

Testbed / Build leanprover-community/con-nf

Process completed with exit code 1.

Testbed / Build iehality/lean4-logic

Process completed with exit code 1.

Artifacts

Produced during runtime

Name	Size
Anderssorby-SDL.lean Expired	8 Bytes
Paper--Proof-paperproof Expired	8 Bytes
digama0-lean4lean Expired	8 Bytes
dwrensha-compfiles Expired	8 Bytes
forked--from--1kasper-ground_zero Expired	8 Bytes
google--deepmind-debate Expired	8 Bytes
hrmacbeth-math2001 Expired	8 Bytes
iehality-lean4--logic Expired	8 Bytes
index Expired	30.5 KB
kmill-lean4--raytracer Expired	8 Bytes
lean--dojo-LeanInfer Expired	8 Bytes
leanprover--community-con--nf Expired	8 Bytes
leanprover-LeanInk Expired	8 Bytes
lurk--lab-Wasm.lean Expired	8 Bytes
manifest Expired	38.3 KB
matrix Expired	2.56 KB
nomeata-loogle Expired	8 Bytes
results Expired	3.66 KB
yuma--mizuno-lean--math--workshop Expired	8 Bytes