fix: do not strip dotted components from lean module names #11310
ci.yml
on: pull_request
Annotations
8 errors and 1 warning
Linux LLVM
Process completed with exit code 8.
|
Linux
Process completed with exit code 8.
|
Linux release
Process completed with exit code 8.
|
Windows
Canceling since a higher priority waiting request for 'CI-refs/pull/2994/merge-pull_request' exists
|
Windows
The operation was canceled.
|
macOS
Canceling since a higher priority waiting request for 'CI-refs/pull/2994/merge-pull_request' exists
|
macOS
The operation was canceled.
|
Build matrix complete
Some jobs failed
|
Windows
No files were found with the provided path: ./coredumps
./build/stage0/bin/lean
./build/stage0/lib/lean/libleanshared.so
./build/stage1/bin/lean
./build/stage1/lib/lean/libleanshared.so
./build/stage2/bin/lean
./build/stage2/lib/lean/libleanshared.so. No artifacts will be uploaded.
|
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
build-Linux 32bit
Expired
|
203 MB |
|
build-Linux aarch64
Expired
|
235 MB |
|
build-Linux release
Expired
|
235 MB |
|
build-Web Assembly
Expired
|
202 MB |
|
build-macOS
Expired
|
229 MB |
|
build-macOS aarch64
Expired
|
225 MB |
|
coredumps-Linux
Expired
|
165 MB |
|
coredumps-Linux 32bit
Expired
|
144 MB |
|
coredumps-Linux Debug
Expired
|
240 MB |
|
coredumps-Linux LLVM
Expired
|
212 MB |
|
coredumps-Linux aarch64
Expired
|
128 MB |
|
coredumps-Linux fsanitize
Expired
|
258 MB |
|
coredumps-Linux release
Expired
|
165 MB |
|
coredumps-Web Assembly
Expired
|
68.9 MB |
|
coredumps-macOS
Expired
|
64.5 KB |
|
coredumps-macOS aarch64
Expired
|
97.1 KB |
|