fix(ci): fix lakefile #337
ci.yml
on: push
Matrix: Build Rust (haoma)
Matrix: lean-build
Matrix: Build Rust (svm)
Lint and Format Check
42s
All Checks Passed
2s
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
|
|