fix: make sure refine
preserves pre-existing natural mvars
#9621
Triggered via pull request
August 23, 2023 03:59
Status
Success
Total duration
1h 12m 18s
Artifacts
13
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 aarch64
Expired
|
231 MB |
|
build-Linux release
Expired
|
231 MB |
|
build-Windows
Expired
|
233 MB |
|
build-macOS
Expired
|
225 MB |
|
build-macOS aarch64
Expired
|
221 MB |
|
coredumps-Linux
Expired
|
227 MB |
|
coredumps-Linux Debug
Expired
|
236 MB |
|
coredumps-Linux LLVM
Expired
|
185 MB |
|
coredumps-Linux aarch64
Expired
|
126 MB |
|
coredumps-Linux fsanitize
Expired
|
252 MB |
|
coredumps-Linux release
Expired
|
162 MB |
|
coredumps-macOS
Expired
|
64.5 KB |
|
coredumps-macOS aarch64
Expired
|
97.1 KB |
|