CI

feat: use external index for standalone testbed #49

Sign in to view logs

Triggered via push December 1, 2023 22:06

tydeu

stage/external-index

Status Success

Total duration 18m 43s

Artifacts 19

ci.yml

on: push

Testbed / Setup

Matrix: Testbed / build

Testbed / Collect Results

Pages / Bundle Manifest

https://0bgatjuvdliwmdp-ldh7eshct34--vermillion-stardust-57acd6.netlify.app

Annotations

9 errors

Testbed / Build bollu/lean-to

Process completed with exit code 1.

Testbed / Build arthurpaulino/LeanMySQL

Process completed with exit code 1.

Testbed / Build meoowers/rinha

Process completed with exit code 1.

Testbed / Build leanprover-community/llm

Process completed with exit code 1.

Testbed / Build eric-wieser/lean-matrix-cookbook

Process completed with exit code 1.

Testbed / Build opencompl/ssa

Process completed with exit code 1.

Testbed / Build alexkeizer/QpfTypes

Process completed with exit code 1.

Testbed / Build iehality/lean4-logic

Process completed with exit code 1.

Testbed / Build verified-optimization/CvxLean

Process completed with exit code 1.

Artifacts

Produced during runtime

Name	Size
alexkeizer-QpfTypes Expired	8 Bytes
arthurpaulino-LeanMySQL Expired	8 Bytes
bollu-lean--to Expired	8 Bytes
eric--wieser-lean--matrix--cookbook Expired	8 Bytes
iehality-lean4--logic Expired	8 Bytes
index Expired	17.3 KB
kmill-lean4--raytracer Expired	8 Bytes
leanprover--community-ProofWidgets4 Expired	8 Bytes
leanprover--community-flt--regular Expired	8 Bytes
leanprover--community-llm Expired	8 Bytes
leanprover--community-quote4 Expired	8 Bytes
leanprover-LeanInk Expired	8 Bytes
manifest Expired	23.9 KB
matrix Expired	2.51 KB
meoowers-rinha Expired	8 Bytes
opencompl-ssa Expired	8 Bytes
results Expired	3.7 KB
siddhartha--gadgil-Saturn Expired	8 Bytes
verified--optimization-CvxLean Expired	8 Bytes