feat: leverage external index in CI #64
tydeuci.yml
on: push
Annotations
141 errors
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
AdrienChampion-collChoSoWel
Expired
|
8 Bytes |
|
|
AdrienChampion-safeIdx
Expired
|
8 Bytes |
|
|
Anderssorby-SDL.lean
Expired
|
8 Bytes |
|
|
BartoszPiotrowski-lean--premise--selection
Expired
|
8 Bytes |
|
|
CBirkbeck-ModularForms_Lean4
Expired
|
8 Bytes |
|
|
FWuermse-lean--postgres
Expired
|
8 Bytes |
|
|
Formal--Mathematics-formalization--of--mathematics
Expired
|
8 Bytes |
|
|
Human--Oriented--ATP-lean--tactics
Expired
|
8 Bytes |
|
|
IPDSnelting-tba--2022
Expired
|
8 Bytes |
|
|
ImperialCollegeLondon-M1F--explained
Expired
|
8 Bytes |
|
|
ImperialCollegeLondon-group--theory--experiments
Expired
|
8 Bytes |
|
|
JamesGallicchio-LeanColls
Expired
|
8 Bytes |
|
|
JamesGallicchio-LeanSAT
Expired
|
8 Bytes |
|
|
JamesGallicchio-SmtLibLean
Expired
|
8 Bytes |
|
|
JamesGallicchio-lean--openapi
Expired
|
8 Bytes |
|
|
Kha-do--supplement
Expired
|
8 Bytes |
|
|
KisaraBlue-ec--tate--lean
Expired
|
8 Bytes |
|
|
KislyjKisel-Raylib.lean
Expired
|
8 Bytes |
|
|
Odomontois-advent2022--lean
Expired
|
8 Bytes |
|
|
Paper--Proof-paperproof
Expired
|
8 Bytes |
|
|
PatrickMassot-GlimpseOfLean
Expired
|
8 Bytes |
|
|
PatrickMassot-NNG4
Expired
|
8 Bytes |
|
|
PatrickMassot-lean4--game--server
Expired
|
8 Bytes |
|
|
PatrickMassot-verbose--lean4
Expired
|
8 Bytes |
|
|
PeterKementzey-graph--library--for--lean4
Expired
|
8 Bytes |
|
|
SchrodingerZhu-LeanGccBackend
Expired
|
8 Bytes |
|
|
SchrodingerZhu-hashbrown4lean
Expired
|
8 Bytes |
|
|
SchrodingerZhu-lean--gccjit
Expired
|
8 Bytes |
|
|
SnO2WMaN-lean4--modallogic
Expired
|
8 Bytes |
|
|
T--Brick-ControlFlow
Expired
|
8 Bytes |
|
|
T--Brick-c0deine
Expired
|
8 Bytes |
|
|
T--Brick-lean--wasm
Expired
|
8 Bytes |
|
|
TristanCacqueray-advent--of--lean
Expired
|
8 Bytes |
|
|
UofSC--Fall--2022--Math--300--H01-homework0
Expired
|
8 Bytes |
|
|
UofSC--Spring--2023--SCHC--411--H01-notes
Expired
|
8 Bytes |
|
|
YaelDillies-LeanAPAP
Expired
|
8 Bytes |
|
|
YaelDillies-LeanCamCombi
Expired
|
8 Bytes |
|
|
adamtopaz-CopenhagenMasterclass2023
Expired
|
8 Bytes |
|
|
adamtopaz-Lean4_AOC_2022
Expired
|
8 Bytes |
|
|
adamtopaz-hw_template
Expired
|
8 Bytes |
|
|
adamtopaz-lean_grader
Expired
|
8 Bytes |
|
|
adomani-advents
Expired
|
8 Bytes |
|
|
ah1112-synthetic_euclid_4
Expired
|
8 Bytes |
|
|
alexf91-lean4--ctypes
Expired
|
8 Bytes |
|
|
alexkassil-natural_number_game_lean4
Expired
|
8 Bytes |
|
|
alexkeizer-QpfTypes
Expired
|
8 Bytes |
|
|
algebraic--sofia-lyre
Expired
|
8 Bytes |
|
|
algebraic--sofia-soda
Expired
|
8 Bytes |
|
|
ammkrn-printiest
Expired
|
8 Bytes |
|
|
ammkrn-timelib
Expired
|
8 Bytes |
|
|
andrejbauer-lean2sexp
Expired
|
8 Bytes |
|
|
apnelson1-Matroid
Expired
|
8 Bytes |
|
|
arthurpaulino-FxyLang
Expired
|
8 Bytes |
|
|
arthurpaulino-LeanMusic
Expired
|
8 Bytes |
|
|
arthurpaulino-LeanMySQL
Expired
|
8 Bytes |
|
|
arthurpaulino-LeanREPL
Expired
|
8 Bytes |
|
|
arthurpaulino-NumLean
Expired
|
8 Bytes |
|
|
arthurpaulino-viper
Expired
|
8 Bytes |
|
|
avigad-lamr
Expired
|
8 Bytes |
|
|
avigad-mathematics_in_lean_source
Expired
|
8 Bytes |
|
|
aziis98-lean--codespace
Expired
|
8 Bytes |
|
|
bollu-lean--to
Expired
|
8 Bytes |
|
|
bollu-lean4--entemology
Expired
|
8 Bytes |
|
|
bollu-llama.lean
Expired
|
8 Bytes |
|
|
bollu-sdl2.lean
Expired
|
8 Bytes |
|
|
brandon--sisler-Homotopy--Lifting--Bro
Expired
|
8 Bytes |
|
|
brown--cs22-CS22--Lean--2023
Expired
|
8 Bytes |
|
|
celsobonutti-rinha
Expired
|
8 Bytes |
|
|
dannypsnl-violet
Expired
|
8 Bytes |
|
|
digama0-lean4lean
Expired
|
8 Bytes |
|
|
digama0-mm--lean4
Expired
|
8 Bytes |
|
|
djvelleman-HTPILeanPackage
Expired
|
8 Bytes |
|
|
dwrensha-compfiles
Expired
|
8 Bytes |
|
|
dwrensha-lean4--maze
Expired
|
8 Bytes |
|
|
eric--wieser-lean--matrix--cookbook
Expired
|
8 Bytes |
|
|
fgdorais-GMLInit
Expired
|
8 Bytes |
|
|
fgdorais-lean4--parser
Expired
|
8 Bytes |
|
|
fgdorais-lean4--unicode--basic
Expired
|
8 Bytes |
|
|
forked--from--1kasper-ground_zero
Expired
|
8 Bytes |
|
|
forked--from--1kasper-lean4--categories
Expired
|
8 Bytes |
|
|
fpvandoorn-HausdorffSchoolLean
Expired
|
8 Bytes |
|
|
fpvandoorn-LeanCourse23
Expired
|
8 Bytes |
|
|
gebner-oleanparser
Expired
|
8 Bytes |
|
|
girving-ray
Expired
|
8 Bytes |
|
|
google--deepmind-debate
Expired
|
8 Bytes |
|
|
grhkm21-lean4
Expired
|
8 Bytes |
|
|
hargoniX-Flame
Expired
|
8 Bytes |
|
|
hargoniX-cpdt--lean
Expired
|
8 Bytes |
|
|
hargoniX-nest--core
Expired
|
8 Bytes |
|
|
haruhisa--enomoto-mathlib4--all--tactics
Expired
|
8 Bytes |
|
|
hhu--adam-Robo
Expired
|
8 Bytes |
|
|
hrmacbeth-math2001
Expired
|
8 Bytes |
|
|
iehality-lean4--logic
Expired
|
8 Bytes |
|
|
index
Expired
|
96.1 KB |
|
|
javra-iit
Expired
|
8 Bytes |
|
|
jjdishere-EG
Expired
|
8 Bytes |
|
|
joehendrix-lean--arith--solver
Expired
|
8 Bytes |
|
|
joehendrix-lean--crypto
Expired
|
8 Bytes |
|
|
jpablo-zenith
Expired
|
8 Bytes |
|
|
katydid-proofs
Expired
|
8 Bytes |
|
|
kmill-arrow_poly
Expired
|
8 Bytes |
|
|
kmill-lean4--raytracer
Expired
|
8 Bytes |
|
|
knowsys-Formale--Systeme--in--LEAN
Expired
|
8 Bytes |
|
|
kuruczgy-lean--vulkan
Expired
|
8 Bytes |
|
|
lean--dojo-LeanInfer
Expired
|
8 Bytes |
|
|
lean--ja-tactic--cheatsheet
Expired
|
8 Bytes |
|
|
leanprover--community-NNG4
Expired
|
8 Bytes |
|
|
leanprover--community-ProofWidgets4
Expired
|
8 Bytes |
|
|
leanprover--community-aesop
Expired
|
8 Bytes |
|
|
leanprover--community-con--nf
Expired
|
8 Bytes |
|
|
leanprover--community-duper
Expired
|
8 Bytes |
|
|
leanprover--community-flt--regular
Expired
|
8 Bytes |
|
|
leanprover--community-iris--lean
Expired
|
8 Bytes |
|
|
leanprover--community-lean--auto
Expired
|
8 Bytes |
|
|
leanprover--community-lean4--metaprogramming--book
Expired
|
8 Bytes |
|
|
leanprover--community-llm
Expired
|
8 Bytes |
|
|
leanprover--community-mathematics_in_lean
Expired
|
8 Bytes |
|
|
leanprover--community-mathport
Expired
|
8 Bytes |
|
|
leanprover--community-quote4
Expired
|
8 Bytes |
|
|
leanprover--community-repl
Expired
|
8 Bytes |
|
|
leanprover--community-sphere--eversion
Expired
|
8 Bytes |
|
|
leanprover--community-tutorials4
Expired
|
8 Bytes |
|
|
leanprover-LeanInk
Expired
|
8 Bytes |
|
|
leanprover-doc--gen4
Expired
|
8 Bytes |
|
|
leanprover-lean4--cli
Expired
|
8 Bytes |
|
|
leanprover-lean4checker
Expired
|
8 Bytes |
|
|
leanprover-lean4export
Expired
|
8 Bytes |
|
|
leanprover-leansat
Expired
|
8 Bytes |
|
|
leanprover-std4
Expired
|
8 Bytes |
|
|
lecopivo-EigenLean
Expired
|
8 Bytes |
|
|
lecopivo-HouLean
Expired
|
8 Bytes |
|
|
lecopivo-SciLean
Expired
|
8 Bytes |
|
|
lecopivo-lean4--karray
Expired
|
8 Bytes |
|
|
lephe-lean4--rewriting
Expired
|
8 Bytes |
|
|
lf--lang-reactor--lean
Expired
|
8 Bytes |
|
|
lftcm2023-lftcm2023
Expired
|
8 Bytes |
|
|
lurk--lab-Bellanova.lean
Expired
|
8 Bytes |
|
|
lurk--lab-Blake3.lean
Expired
|
8 Bytes |
|
|
lurk--lab-FFaCiL.lean
Expired
|
8 Bytes |
|
|
lurk--lab-Http.lean
Expired
|
8 Bytes |
|
|
lurk--lab-Ipld.lean
Expired
|
8 Bytes |
|
|
lurk--lab-LSpec
Expired
|
8 Bytes |
|
|
lurk--lab-Lurk.lean
Expired
|
8 Bytes |
|
|
lurk--lab-Megaparsec.lean
Expired
|
8 Bytes |
|
|
lurk--lab-OpenSSL.lean
Expired
|
8 Bytes |
|
|
lurk--lab-Poseidon.lean
Expired
|
8 Bytes |
|
|
lurk--lab-RustFFI.lean
Expired
|
8 Bytes |
|
|
lurk--lab-Spark.lean
Expired
|
8 Bytes |
|
|
lurk--lab-Vero
Expired
|
8 Bytes |
|
|
lurk--lab-Wasm.lean
Expired
|
8 Bytes |
|
|
lurk--lab-YatimaStdLib.lean
Expired
|
8 Bytes |
|
|
lurk--lab-ZKSnark.lean
Expired
|
8 Bytes |
|
|
lurk--lab-straume
Expired
|
8 Bytes |
|
|
lurk--lab-yatima
Expired
|
8 Bytes |
|
|
madvorak-chomsky
Expired
|
8 Bytes |
|
|
madvorak-fecssk
Expired
|
8 Bytes |
|
|
manifest
Expired
|
159 KB |
|
|
marcusrossel-lean--snakebird
Expired
|
8 Bytes |
|
|
marcusrossel-model--checking
Expired
|
8 Bytes |
|
|
matrix
Expired
|
33.2 KB |
|
|
meoowers-ash
Expired
|
8 Bytes |
|
|
meoowers-lina
Expired
|
8 Bytes |
|
|
meoowers-melp
Expired
|
8 Bytes |
|
|
meoowers-pgsql
Expired
|
8 Bytes |
|
|
meoowers-rinha
Expired
|
8 Bytes |
|
|
mo271-formal_book
Expired
|
8 Bytes |
|
|
negiizhao-Algorithm
Expired
|
8 Bytes |
|
|
nomeata-loogle
Expired
|
8 Bytes |
|
|
opencompl-C--parsing--for--Lean4
Expired
|
8 Bytes |
|
|
opencompl-egg--tactic--code
Expired
|
8 Bytes |
|
|
opencompl-lean--gap
Expired
|
8 Bytes |
|
|
opencompl-ssa
Expired
|
8 Bytes |
|
|
pandaman64-QuickSortInLean
Expired
|
8 Bytes |
|
|
paulcadman-lean4--leetcode
Expired
|
8 Bytes |
|
|
pnwamk-lean4--assert--command
Expired
|
8 Bytes |
|
|
proost--assistant-ProostLean
Expired
|
8 Bytes |
|
|
rami3l-plfl
Expired
|
8 Bytes |
|
|
reilabs-proven--zk
Expired
|
8 Bytes |
|
|
results
Expired
|
49.3 KB |
|
|
riccardobrasca-TypeTheory
Expired
|
8 Bytes |
|
|
risc0-risc0--lean4
Expired
|
8 Bytes |
|
|
siddhartha--gadgil-LeanAide
Expired
|
8 Bytes |
|
|
siddhartha--gadgil-Polylean
Expired
|
8 Bytes |
|
|
siddhartha--gadgil-Saturn
Expired
|
8 Bytes |
|
|
siddhartha--gadgil-lean--loris
Expired
|
8 Bytes |
|
|
siddhartha--gadgil-proofs--and--programs--2023
Expired
|
8 Bytes |
|
|
smorel394-ProjectiveSpace_lean4
Expired
|
8 Bytes |
|
|
smorel394-TS1
Expired
|
8 Bytes |
|
|
suhr-tmath
Expired
|
8 Bytes |
|
|
teorth-pfr
Expired
|
8 Bytes |
|
|
teorth-symmetric_project
Expired
|
8 Bytes |
|
|
tydeu-lean4--alloy
Expired
|
8 Bytes |
|
|
tydeu-lean4--itertools
Expired
|
8 Bytes |
|
|
tydeu-lean4--partax
Expired
|
8 Bytes |
|
|
ufmg--smite-lean--smt
Expired
|
8 Bytes |
|
|
utensil-ginac--lean
Expired
|
8 Bytes |
|
|
verified--optimization-CvxLean
Expired
|
8 Bytes |
|
|
wellecks-llmstep
Expired
|
8 Bytes |
|
|
wellecks-ntptutorial
Expired
|
8 Bytes |
|
|
xubaiw-CMark.lean
Expired
|
8 Bytes |
|
|
yangky11-LeanNDArrays
Expired
|
8 Bytes |
|
|
yangky11-lean4--example
Expired
|
8 Bytes |
|
|
ydewit-lean--souffle
Expired
|
8 Bytes |
|
|
yuma--mizuno-lean--math--workshop
Expired
|
8 Bytes |
|