feat: move testbed build to python & add more info #79
tydeuci.yml
on: push
Annotations
15 errors and 15 warnings
|
Testbed / Build meoowers/melp
Process completed with exit code 1.
|
|
Testbed / Build lecopivo/lean4-karray
Process completed with exit code 1.
|
|
Testbed / Build leanprover/LeanInk
Process completed with exit code 1.
|
|
Testbed / Build leanprover-community/lean4-metaprogramming-book
Process completed with exit code 1.
|
|
Testbed / Build JamesGallicchio/LeanSAT
Process completed with exit code 1.
|
|
Testbed / Build forked-from-1kasper/ground_zero
Process completed with exit code 1.
|
|
Testbed / Build eric-wieser/lean-matrix-cookbook
Process completed with exit code 1.
|
|
Testbed / Build leanprover-community/aesop
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 fgdorais/lean4-parser
Process completed with exit code 1.
|
|
Testbed / Build digama0/lean4lean
Process completed with exit code 1.
|
|
Testbed / Build djvelleman/HTPILeanPackage
Process completed with exit code 1.
|
|
Testbed / Build leanprover-community/con-nf
Process completed with exit code 1.
|
|
Testbed / Build rami3l/plfl
Process completed with exit code 1.
|
|
Testbed / Build meoowers/melp
No files were found with the provided path: result.json. No artifacts will be uploaded.
|
|
Testbed / Build lecopivo/lean4-karray
No files were found with the provided path: result.json. No artifacts will be uploaded.
|
|
Testbed / Build leanprover/LeanInk
No files were found with the provided path: result.json. No artifacts will be uploaded.
|
|
Testbed / Build leanprover-community/lean4-metaprogramming-book
No files were found with the provided path: result.json. No artifacts will be uploaded.
|
|
Testbed / Build JamesGallicchio/LeanSAT
No files were found with the provided path: result.json. No artifacts will be uploaded.
|
|
Testbed / Build forked-from-1kasper/ground_zero
No files were found with the provided path: result.json. No artifacts will be uploaded.
|
|
Testbed / Build eric-wieser/lean-matrix-cookbook
No files were found with the provided path: result.json. No artifacts will be uploaded.
|
|
Testbed / Build leanprover-community/aesop
No files were found with the provided path: result.json. No artifacts will be uploaded.
|
|
Testbed / Build leanprover-community/tutorials4
No files were found with the provided path: result.json. No artifacts will be uploaded.
|
|
Testbed / Build leanprover-community/sphere-eversion
No files were found with the provided path: result.json. No artifacts will be uploaded.
|
|
Testbed / Build fgdorais/lean4-parser
No files were found with the provided path: result.json. No artifacts will be uploaded.
|
|
Testbed / Build digama0/lean4lean
No files were found with the provided path: result.json. No artifacts will be uploaded.
|
|
Testbed / Build djvelleman/HTPILeanPackage
No files were found with the provided path: result.json. No artifacts will be uploaded.
|
|
Testbed / Build leanprover-community/con-nf
No files were found with the provided path: result.json. No artifacts will be uploaded.
|
|
Testbed / Build rami3l/plfl
No files were found with the provided path: result.json. No artifacts will be uploaded.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
index
Expired
|
27.9 KB |
|
|
manifest
Expired
|
31.5 KB |
|
|
matrix
Expired
|
2.75 KB |
|
|
results
Expired
|
2 Bytes |
|