refactor: testbed: do not upload pkg build dirs #43
tydeuAnnotations
7 errors
|
Build lurk-lab/yatima
Process completed with exit code 1.
|
|
Build avigad/lamr
Process completed with exit code 1.
|
|
Build leanprover-community/iris-lean
Process completed with exit code 1.
|
|
Build meoowers/rinha
Process completed with exit code 1.
|
|
Build leanprover-community/lean4-metaprogramming-book
Process completed with exit code 1.
|
|
Build yuma-mizuno/lean-math-workshop
Process completed with exit code 1.
|
|
Build teorth/symmetric_project
Process completed with exit code 1.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
avigad-lamr
Expired
|
8 Bytes |
|
|
kmill-lean4--raytracer
Expired
|
8 Bytes |
|
|
lean--dojo-LeanInfer
Expired
|
8 Bytes |
|
|
leanprover--community-ProofWidgets4
Expired
|
8 Bytes |
|
|
leanprover--community-aesop
Expired
|
8 Bytes |
|
|
leanprover--community-iris--lean
Expired
|
8 Bytes |
|
|
leanprover--community-lean4--metaprogramming--book
Expired
|
8 Bytes |
|
|
leanprover--community-quote4
Expired
|
8 Bytes |
|
|
leanprover-LeanInk
Expired
|
8 Bytes |
|
|
leanprover-lean4--cli
Expired
|
8 Bytes |
|
|
leanprover-std4
Expired
|
8 Bytes |
|
|
lurk--lab-yatima
Expired
|
8 Bytes |
|
|
matrix
Expired
|
5.01 KB |
|
|
meoowers-rinha
Expired
|
8 Bytes |
|
|
results
Expired
|
992 Bytes |
|
|
teorth-symmetric_project
Expired
|
8 Bytes |
|
|
yuma--mizuno-lean--math--workshop
Expired
|
8 Bytes |
|