Skip to content

feat: nested well-founded recursion via automatic preprocessing #27563

feat: nested well-founded recursion via automatic preprocessing

feat: nested well-founded recursion via automatic preprocessing #27563

Triggered via pull request January 30, 2025 21:24
Status Success
Total duration 17m 40s
Artifacts 2

ci.yml

on: pull_request
configure
7s
Matrix: build
Build matrix complete
1s
release
0s
release-nightly
0s

Annotations

7 warnings
Linux release
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release. A separate `actions/cache/restore` step should be used instead. See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.
Linux release
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release. A separate `actions/cache/restore` step should be used instead. See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.
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.50.0 is already installed and up-to-date. To reinstall 1.50.0, run: brew reinstall libuv
macOS aarch64
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release. A separate `actions/cache/restore` step should be used instead. See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.
macOS aarch64
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release. A separate `actions/cache/restore` step should be used instead. See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.

Artifacts

Produced during runtime
Name Size Digest
build-Linux release
350 MB
sha256:58498f5bdb6e79672e6d0eac2442da93a5d2779da7b631830ebfdfc90d8bd968
build-macOS aarch64
336 MB
sha256:ee7286b59589ca3f115ceb2db79886b31e38c9a14f44e670565d6d2f3451749a