CI

feat: option to persist testbed runs in index #74

Sign in to view logs

Triggered via push December 5, 2023 23:54

tydeu

stage/dev

Status Success

Total duration 10m 42s

Artifacts 19

ci.yml

on: push

Testbed / Setup

Matrix: Testbed / build

Testbed / Collect Results

Pages / Bundle Manifest

https://dl38qga7yqlwkegxsxskwerapaw--vermillion-stardust-57acd6.netlify.app

Annotations

10 errors

Testbed / Build opencompl/C-parsing-for-Lean4

Process completed with exit code 1.

Testbed / Build lecopivo/HouLean

Process completed with exit code 1.

Testbed / Build lurk-lab/yatima

Process completed with exit code 1.

Testbed / Build arthurpaulino/LeanMySQL

Process completed with exit code 1.

Testbed / Build IPDSnelting/tba-2022

Process completed with exit code 1.

Testbed / Build JamesGallicchio/LeanSAT

Process completed with exit code 1.

Testbed / Build tydeu/lean4-alloy

Process completed with exit code 1.

Testbed / Build PatrickMassot/GlimpseOfLean

Process completed with exit code 1.

Testbed / Build leanprover-community/NNG4

Process completed with exit code 1.

Testbed / Build iehality/lean4-logic

Process completed with exit code 1.

Artifacts

Produced during runtime

Name	Size
IPDSnelting-tba--2022 Expired	8 Bytes
JamesGallicchio-LeanSAT Expired	8 Bytes
PatrickMassot-GlimpseOfLean Expired	8 Bytes
arthurpaulino-LeanMySQL Expired	8 Bytes
iehality-lean4--logic Expired	8 Bytes
index Expired	27.3 KB
leanprover--community-NNG4 Expired	8 Bytes
leanprover--community-mathport Expired	8 Bytes
leanprover-LeanInk Expired	8 Bytes
leanprover-doc--gen4 Expired	8 Bytes
leanprover-std4 Expired	8 Bytes
lecopivo-HouLean Expired	8 Bytes
lurk--lab-LSpec Expired	8 Bytes
lurk--lab-yatima Expired	8 Bytes
manifest Expired	34.7 KB
matrix Expired	2.54 KB
opencompl-C--parsing--for--Lean4 Expired	8 Bytes
results Expired	3.66 KB
tydeu-lean4--alloy Expired	8 Bytes