chore: touchup highlight category spacing #34
tydeuci.yml
on: push
Annotations
7 errors and 1 warning
|
Testbed / Build lurk-lab/yatima
Process completed with exit code 1.
|
|
Testbed / Build leanprover-community/lean4-metaprogramming-book
Process completed with exit code 1.
|
|
Testbed / Build leanprover-community/iris-lean
Process completed with exit code 1.
|
|
Testbed / Build yuma-mizuno/lean-math-workshop
Process completed with exit code 1.
|
|
Testbed / Build meoowers/rinha
Process completed with exit code 1.
|
|
Testbed / Build google-deepmind/debate
Process completed with exit code 1.
|
|
Testbed / Build teorth/symmetric_project
Process completed with exit code 1.
|
|
Pages / Deploy
Environment URL '' is not a valid http(s) URL, so it will not be shown as a link in the workflow graph.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
digama0-lean4lean
Expired
|
8 Bytes |
|
|
google--deepmind-debate
Expired
|
8 Bytes |
|
|
index
Expired
|
10.4 KB |
|
|
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-std4
Expired
|
8 Bytes |
|
|
lurk--lab-yatima
Expired
|
8 Bytes |
|
|
manifest
Expired
|
11.1 KB |
|
|
matrix
Expired
|
5.02 KB |
|
|
meoowers-rinha
Expired
|
8 Bytes |
|
|
results
Expired
|
1000 Bytes |
|
|
teorth-symmetric_project
Expired
|
8 Bytes |
|
|
yuma--mizuno-lean--math--workshop
Expired
|
8 Bytes |
|