CI

feat: option to configure index for main CI #56

Sign in to view logs

Triggered via push December 2, 2023 01:53

tydeu

stage/external-index

Status Success

Total duration 8m 50s

Artifacts 19

ci.yml

on: push

Testbed / Setup

Matrix: Testbed / build

Testbed / Collect Results

Pages / Bundle Manifest

Annotations

8 errors

Testbed / Build lecopivo/lean4-karray

Process completed with exit code 1.

Testbed / Build arthurpaulino/FxyLang

Process completed with exit code 1.

Testbed / Build proost-assistant/ProostLean

Process completed with exit code 1.

Testbed / Build nomeata/loogle

Process completed with exit code 1.

Testbed / Build lftcm2023/lftcm2023

Process completed with exit code 1.

Testbed / Build leanprover-community/tutorials4

Process completed with exit code 1.

Testbed / Build leanprover-community/sphere-eversion

Process completed with exit code 1.

Testbed / Build iehality/lean4-logic

Process completed with exit code 1.

Artifacts

Produced during runtime

Name	Size
arthurpaulino-FxyLang Expired	8 Bytes
dannypsnl-violet Expired	8 Bytes
dwrensha-compfiles Expired	8 Bytes
fgdorais-lean4--parser Expired	8 Bytes
iehality-lean4--logic Expired	8 Bytes
index Expired	16.8 KB
leanprover--community-aesop Expired	8 Bytes
leanprover--community-sphere--eversion Expired	8 Bytes
leanprover--community-tutorials4 Expired	8 Bytes
leanprover-LeanInk Expired	8 Bytes
leanprover-std4 Expired	8 Bytes
lecopivo-lean4--karray Expired	8 Bytes
lftcm2023-lftcm2023 Expired	8 Bytes
lurk--lab-LSpec Expired	8 Bytes
manifest Expired	23.4 KB
matrix Expired	2.43 KB
nomeata-loogle Expired	8 Bytes
proost--assistant-ProostLean Expired	8 Bytes
results Expired	3.67 KB