Skip to content
CI

feat: an .else_eq theorem for sparse casesOn #48664

Sign in to view logs

feat: an .else_eq theorem for sparse casesOn

feat: an .else_eq theorem for sparse casesOn #48664

Triggered via pull request December 14, 2025 11:43
@nomeatanomeata
synchronize #11402
joachim/sparseCasesEq
Status Success
Total duration 42m 21s
Artifacts 2

ci.yml

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

Annotations

3 warnings
build-secondary / macOS aarch64
libuv 1.51.0 is already installed and up-to-date. To reinstall 1.51.0, run: brew reinstall libuv
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
zstd 1.5.7 is already installed and up-to-date. To reinstall 1.5.7, run: brew reinstall zstd

Artifacts

Produced during runtime
Name Size Digest
build-Linux release
626 MB
sha256:0d4cc2aa1a3e2f0aaece8da695b36ab245d876cf093b7d73e09f8cdc16ec00d1
build-macOS aarch64
606 MB
sha256:965f78a5e76a21194827238f0891d0fc300bb2986789aeab0f740cf79a93ce81