Skip to content

fix(ci): fix lakefile #337

fix(ci): fix lakefile

fix(ci): fix lakefile #337

Triggered via push January 15, 2026 22:12
Status Success
Total duration 6m 52s
Artifacts 19

ci.yml

on: push
Matrix: Build Rust (haoma)
Matrix: lean-build
Matrix: Build Rust (svm)
Lint and Format Check
42s
Lint and Format Check
All Checks Passed
2s
All Checks Passed
Fit to window
Zoom out
Zoom in

Annotations

7 errors
Build Lean (souls)
Process completed with exit code 1.
Build Lean (compiler)
Process completed with exit code 1.
Build Rust (haoma) (windows-latest, i686-pc-windows-gnu, false)
Process completed with exit code 1.
Build Lean (compiler)
Process completed with exit code 1.
Build Lean (souls)
Process completed with exit code 1.
Build Lean (compiler)
Process completed with exit code 1.
Build Lean (souls)
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size Digest
compiler-aarch64-darwin
51.7 MB
sha256:adcef55d693c299e94278e69cf77f42fb000693934a506df095bcd9d946bda24
compiler-x86_64-linux
58.1 MB
sha256:cb635fc600c3380756409b9ff8a1d7faa53b7d45077f4fc5d0e45b4c732be3cc
compiler-x86_64-windows
55.4 MB
sha256:3a3dc698a0ff8e52eac2e171de56717b2e08e6713f8cefe796c58c13c6614c78
haoma-aarch64-apple-darwin
1.53 MB
sha256:cf13527c9f69424d71673572fb32131f65000c6780ae68150d98c3f17ddbc5f8
haoma-aarch64-unknown-linux-gnu
1.62 MB
sha256:e094b4cad0afdffb5453b245c69a128b772bf12adfb0d126485c5ed6db752d43
haoma-i686-pc-windows-gnu
2.7 MB
sha256:6fcb3d9de0d49fda71bc5a480bf2d09de898647be6c63fef83c3f384536d5e9a
haoma-i686-pc-windows-msvc
1.28 MB
sha256:30457019734ea8e4df40eb411b94fff8060c161785196e5b25dd8bf69fef57e4
haoma-x86_64-apple-darwin
1.57 MB
sha256:1f76447d228b0b65aac7b037b77a0599c624ea51a99bf80c4ecc0f138be647d8
haoma-x86_64-pc-windows-gnu
2.54 MB
sha256:0635f66fde2d89576bd39809758ae2eca8ca62d6a75c87e40cae09205632ccc9
haoma-x86_64-pc-windows-msvc
1.37 MB
sha256:8628c77d3e87b41de67402deb111d113b07da3e75430a11333ac6aa1b01450f6
haoma-x86_64-unknown-linux-gnu
1.66 MB
sha256:fa4142a6ed16b5ec004f78c2e8e1f8877a51498520f95621e70d1336bbc3fd22
souls-aarch64-darwin
51.3 MB
sha256:b7659b605aa0b18e197e9c66144ff245c4f0df82e30c7558a16f58da4d0ed034
souls-x86_64-linux
57.6 MB
sha256:e31a7ff91184d4e9305f1746087a362310a704de378dd4671b8b231d7188b280
souls-x86_64-windows
55 MB
sha256:7c1e9fabca7a4e00b69eb7d20550ca2ce86bcccb630f28c30622d69f4fef7883
svm-aarch64-apple-darwin
854 KB
sha256:354b4ac9d72c69d3991b7c5516d3941eb0a5abaef231c8ced0829cbeabf4fe48
svm-aarch64-unknown-linux-gnu
896 KB
sha256:c7442ca8313308fce1101a9b854feccc2e9121b1a052d2c11d791e06ffbc7e7e
svm-x86_64-apple-darwin
874 KB
sha256:d110b31368ebfb2a9b4e755f767d57d7189ea5ac25a22d448aac7dc3e21e47e4
svm-x86_64-pc-windows-msvc
737 KB
sha256:0eae2800102191959fa36685f5bf0d0436a8bb2e8c9d928b177efa263adcdd67
svm-x86_64-unknown-linux-gnu
920 KB
sha256:3b91a4ff420dd93bac4450f1ce0d9a669b2f723221e729ea713f570eb93a06bf