chore: remove unused argument #11873
leodemouraci.yml
on: push
Annotations
1 warning
|
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
|
161 MB |
|
|
build-Linux aarch64
Expired
|
192 MB |
|
|
build-Linux release
Expired
|
193 MB |
|
|
build-Web Assembly
Expired
|
159 MB |
|
|
build-Windows
Expired
|
195 MB |
|
|
build-macOS
Expired
|
187 MB |
|
|
build-macOS aarch64
Expired
|
182 MB |
|
|
coredumps-Linux
Expired
|
233 MB |
|
|
coredumps-Linux 32bit
Expired
|
145 MB |
|
|
coredumps-Linux Debug
Expired
|
242 MB |
|
|
coredumps-Linux LLVM
Expired
|
213 MB |
|
|
coredumps-Linux aarch64
Expired
|
129 MB |
|
|
coredumps-Linux fsanitize
Expired
|
260 MB |
|
|
coredumps-Linux release
Expired
|
166 MB |
|
|
coredumps-Web Assembly
Expired
|
69.4 MB |
|
|
coredumps-macOS
Expired
|
64.5 KB |
|
|
coredumps-macOS aarch64
Expired
|
97.1 KB |
|