Skip to content
CI

feat: closed term extraction in the new compiler #35150

Sign in to view logs

feat: closed term extraction in the new compiler

feat: closed term extraction in the new compiler #35150

Triggered via pull request May 23, 2025 23:32
@zwarichzwarich
opened #8458
zwarich:lcnf-extract-closed
Status Failure
Total duration 26m 52s
Artifacts 2

ci.yml

on: pull_request
configure
3s
configure
Matrix: build / build
Matrix: build-secondary / build
Build matrix complete
2s
Build matrix complete
release
0s
release
release-nightly
0s
release-nightly
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 3 warnings
build / Linux release
Process completed with exit code 8.
Build matrix complete
Some jobs failed
build-secondary / macOS aarch64
zstd 1.5.7 is already installed and up-to-date. To reinstall 1.5.7, run: brew reinstall zstd
build-secondary / macOS aarch64
gmp 6.3.0 is already installed and up-to-date. To reinstall 6.3.0, run: brew reinstall gmp
build-secondary / macOS aarch64
libuv 1.51.0 is already installed and up-to-date. To reinstall 1.51.0, run: brew reinstall libuv

Artifacts

Produced during runtime
Name Size Digest
build-Linux release Expired
453 MB
sha256:1262009dbd0ed21c1475cb43d6dedb74d0ecc53889c9e68d6fe39d58f8b8b319
build-macOS aarch64 Expired
433 MB
sha256:69aca93432bea7ec8d69701b72cbcbc9019c30a660359fe7d017f39faac57aae