Skip to content

fix: WF.Fix, WF.GuessLex: Use expression cache #11180

fix: WF.Fix, WF.GuessLex: Use expression cache

fix: WF.Fix, WF.GuessLex: Use expression cache #11180

Triggered via pull request November 29, 2023 14:22
Status Failure
Total duration 1h 4m 6s
Artifacts 17

ci.yml

on: pull_request
set-nightly
1s
set-nightly
set-release
2s
set-release
Matrix: build
Build matrix complete
2s
Build matrix complete
release
0s
release
release-nightly
0s
release-nightly
Fit to window
Zoom out
Zoom in

Annotations

8 errors and 2 warnings
Linux LLVM
Process completed with exit code 8.
Linux
Process completed with exit code 8.
Linux release
Process completed with exit code 8.
Linux fsanitize
Process completed with exit code 8.
Linux Debug
Process completed with exit code 8.
macOS
Process completed with exit code 8.
Windows
Process completed with exit code 8.
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.
Build matrix complete
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/github-script@v3. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Artifacts

Produced during runtime
Name Size
build-Linux 32bit Expired
203 MB
build-Linux aarch64 Expired
235 MB
build-Linux release Expired
236 MB
build-Web Assembly Expired
201 MB
build-Windows Expired
238 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
211 MB
coredumps-Linux aarch64 Expired
128 MB
coredumps-Linux fsanitize Expired
257 MB
coredumps-Linux release Expired
165 MB
coredumps-Web Assembly Expired
68.3 MB
coredumps-macOS Expired
64.5 KB
coredumps-macOS aarch64 Expired
97.1 KB