CI

chore: attempting to debug testbed error #72

Sign in to view logs

Triggered via push December 5, 2023 22:52

tydeu

stage/dev

Status Failure

Total duration 9m 19s

Artifacts 17

ci.yml

on: push

Testbed / Setup

Matrix: Testbed / build

Testbed / Collect Results

Pages / Bundle Manifest

Annotations

11 errors

Testbed / Build arthurpaulino/LeanMySQL

Process completed with exit code 1.

Testbed / Build lurk-lab/yatima

Process completed with exit code 1.

Testbed / Build lecopivo/HouLean

Process completed with exit code 1.

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

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.

Testbed / Collect Results

Process completed with exit code 2.

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
matrix Expired	2.54 KB
opencompl-C--parsing--for--Lean4 Expired	8 Bytes
tydeu-lean4--alloy Expired	8 Bytes