fix(ci): fix lakefile #336
SrGaabrielci.yml
on: push
Matrix: Build Rust (haoma)
Matrix: lean-build
Matrix: Build Rust (svm)
Lint and Format Check
37s
All Checks Passed
3s
Annotations
7 errors
|
Build Lean (souls)
Process completed with exit code 1.
|
|
Build Lean (compiler)
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 (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:7a928126fed7fffa8a9b7d6d1f669e98c155ef9054c010770fbcc99a735df0d3
|
|
|
compiler-x86_64-linux
|
58.1 MB |
sha256:0068729489c2f8300d3797adebab9e6b14bfb0891ec9d9de9792cddc837c20f6
|
|
|
compiler-x86_64-windows
|
55.4 MB |
sha256:8a90b97611c549870c504ab86721a9436114307ed05604ba6347646157bab157
|
|
|
haoma-aarch64-apple-darwin
|
1.53 MB |
sha256:eb44eb79f4b45e70690ccbcb7da53183bc80f29edc4bac15077e4e53ed7578bf
|
|
|
haoma-aarch64-unknown-linux-gnu
|
1.62 MB |
sha256:c412323a08391577eed83e17a0f99152fe8f7f2a65affc501fbc17a28be9c66f
|
|
|
haoma-i686-pc-windows-gnu
|
2.7 MB |
sha256:25f8dc0e7939bef2d96643a35db2fdb2c71204a1df24d7a24b389962dad3c807
|
|
|
haoma-i686-pc-windows-msvc
|
1.28 MB |
sha256:1b419a09d4301adfe1f10df879e0470f7a6da7d12860684301b54eee16a9db77
|
|
|
haoma-x86_64-apple-darwin
|
1.57 MB |
sha256:6c5e7c136b991900dd991fdbbd028395d71dfd2a229a3a4a9fdb3642d33b44aa
|
|
|
haoma-x86_64-pc-windows-gnu
|
2.54 MB |
sha256:97b62217c80787e1083e88cf8fc9775e3c0c990712759d4405bcd56f5aed86ee
|
|
|
haoma-x86_64-pc-windows-msvc
|
1.37 MB |
sha256:e78318628e3eb3a8f920dfe6a3e5761761369d49e3617257f7e88ceb9dce0178
|
|
|
haoma-x86_64-unknown-linux-gnu
|
1.66 MB |
sha256:bca2d6f6cb316609dda01ed36f884f09b5a52b8e58a19a9eed83279cb245338f
|
|
|
souls-aarch64-darwin
|
51.3 MB |
sha256:149db1e1d113597554117468e2516fd69909311cfec030d51d144b30c04e6277
|
|
|
souls-x86_64-linux
|
57.6 MB |
sha256:ceabd0a7cbee91f582af17c4770def44251084759f3a4069c7f15484c19f7c01
|
|
|
souls-x86_64-windows
|
55 MB |
sha256:12e3288d44cb89238bcc408bfe7c6cfbef58aa875411690a95ee5fb40a95445e
|
|
|
svm-aarch64-apple-darwin
|
854 KB |
sha256:d5d2cfc17d1dee49e1dc9c50a5dda4e98c0632ddbe72870e5ed8b2de382ea6a3
|
|
|
svm-aarch64-unknown-linux-gnu
|
896 KB |
sha256:37def8fb6195228ae7bee632da029d323d37755fac82f8151ffa2f4574bbd68d
|
|
|
svm-x86_64-apple-darwin
|
874 KB |
sha256:8fa06cdb62b93734ae955044ab6422d582831c5778b809f13bfb5aca5bea169d
|
|
|
svm-x86_64-pc-windows-msvc
|
737 KB |
sha256:9d6a59b3181fe25d472e44f88e5d004f49cd2868ab9e8cec1b316ab3a52b7d4f
|
|
|
svm-x86_64-unknown-linux-gnu
|
920 KB |
sha256:7b5952104d1ccbfa3c6631f434d66b126f7aa6556551b40ed190aa48f90ac211
|
|