Skip to content
CI

CI #21311

Sign in to view logs

CI

CI #21311

Triggered via schedule September 12, 2024 07:04
@KhaKha
⁠ adfd6c0
master
Status Success
Total duration 1h 20m 0s
Artifacts 7

ci.yml

on: schedule
configure
1m 54s
configure
Matrix: build
Build matrix complete
4s
Build matrix complete
release
0s
release
release-nightly
2m 55s
release-nightly
Fit to window
Zoom out
Zoom in

Annotations

9 warnings
macOS aarch64
zstd 1.5.6 is already installed and up-to-date. To reinstall 1.5.6, run: brew reinstall zstd
macOS aarch64
gmp 6.3.0 is already installed and up-to-date. To reinstall 6.3.0, run: brew reinstall gmp
macOS aarch64
libuv 1.48.0 is already installed and up-to-date. To reinstall 1.48.0, run: brew reinstall libuv
macOS
zstd 1.5.6 is already installed and up-to-date. To reinstall 1.5.6, run: brew reinstall zstd
macOS
gmp 6.3.0 is already installed and up-to-date. To reinstall 6.3.0, run: brew reinstall gmp
macOS
libuv 1.48.0 is already installed and up-to-date. To reinstall 1.48.0, run: brew reinstall libuv
Web Assembly
The following actions use a deprecated Node.js version and will be forced to run on node20: mymindstorm/setup-emsdk@v12. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
Web Assembly
No cached files found at path "/home/runner/work/lean4/lean4/emsdk" - downloading and caching emsdk.
release-nightly
The following actions use a deprecated Node.js version and will be forced to run on node20: softprops/action-gh-release@v1. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

Artifacts

Produced during runtime
Name Size Digest
build-Linux 32bit Expired
482 MB
sha256:6ebe5ff14b50eab263105b848ddf64d7d2c046fab0ec12e38e018ea62d148f1b
build-Linux aarch64 Expired
586 MB
sha256:f0463cefee6d51f2d79658e968740c54e54d98bbc7729df903f3492089292ff2
build-Linux release Expired
600 MB
sha256:c8424ad6682e1d9137127e47f07c750b949a9b24caa6ba5f888195699c1846d0
build-Web Assembly Expired
399 MB
sha256:d5860c5fbfaac9852daf30eba8627e61ebd1f3a147b5caa3b7f74e6ef5e38703
build-Windows Expired
542 MB
sha256:b5b6b85c90794164c30fe3f31bae60bdd7f34f81b495542e66c9c41d67829e33
build-macOS Expired
527 MB
sha256:ef2fe013a07d4ee178ea4e4252da2d31d2cd5a5d60f785b8a64611012c06ca03
build-macOS aarch64 Expired
518 MB
sha256:88c5ff1b096c4f57be3506d57b7c2b37e26f57912512a2f370074e6232ab43ae