chore: CI touchups #52
tydeuci.yml
on: push
Annotations
12 errors
|
Testbed / Build lurk-lab/Wasm.lean
Process completed with exit code 1.
|
|
Testbed / Build arthurpaulino/FxyLang
Process completed with exit code 1.
|
|
Testbed / Build joehendrix/lean-crypto
Process completed with exit code 1.
|
|
Testbed / Build wellecks/ntptutorial
Process completed with exit code 1.
|
|
Testbed / Build leanprover-community/iris-lean
Process completed with exit code 1.
|
|
Testbed / Build digama0/mm-lean4
Process completed with exit code 1.
|
|
Testbed / Build hrmacbeth/math2001
Process completed with exit code 1.
|
|
Testbed / Build tydeu/lean4-alloy
Process completed with exit code 1.
|
|
Testbed / Build leanprover-community/mathematics_in_lean
Process completed with exit code 1.
|
|
Testbed / Build djvelleman/HTPILeanPackage
Process completed with exit code 1.
|
|
Testbed / Build leanprover-community/NNG4
Process completed with exit code 1.
|
|
Testbed / Build teorth/symmetric_project
Process completed with exit code 1.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
arthurpaulino-FxyLang
Expired
|
8 Bytes |
|
|
digama0-mm--lean4
Expired
|
8 Bytes |
|
|
djvelleman-HTPILeanPackage
Expired
|
8 Bytes |
|
|
forked--from--1kasper-lean4--categories
Expired
|
8 Bytes |
|
|
hrmacbeth-math2001
Expired
|
8 Bytes |
|
|
index
Expired
|
19.2 KB |
|
|
joehendrix-lean--crypto
Expired
|
8 Bytes |
|
|
kmill-lean4--raytracer
Expired
|
8 Bytes |
|
|
leanprover--community-NNG4
Expired
|
8 Bytes |
|
|
leanprover--community-iris--lean
Expired
|
8 Bytes |
|
|
leanprover--community-mathematics_in_lean
Expired
|
8 Bytes |
|
|
leanprover-LeanInk
Expired
|
8 Bytes |
|
|
lurk--lab-Wasm.lean
Expired
|
8 Bytes |
|
|
manifest
Expired
|
26 KB |
|
|
matrix
Expired
|
2.54 KB |
|
|
results
Expired
|
3.71 KB |
|
|
teorth-symmetric_project
Expired
|
8 Bytes |
|
|
tydeu-lean4--alloy
Expired
|
8 Bytes |
|
|
wellecks-ntptutorial
Expired
|
8 Bytes |
|