Skip to content
CI

chore: cleanup simp lemmas, following the simpNF linter #35241

Sign in to view logs

chore: cleanup simp lemmas, following the simpNF linter

chore: cleanup simp lemmas, following the simpNF linter #35241

Triggered via pull request May 26, 2025 03:53
@kim-emkim-em
synchronize #8481
simp_nf_2025-05
Status Success
Total duration 22m 55s
Artifacts 2

ci.yml

on: pull_request
configure
2s
configure
Matrix: build / build
Matrix: build-secondary / build
Build matrix complete
1s
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
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:d76a66d02c2cf3e98174858a619e073f344b7962c3da301d0e51e1eb0dd0ffd1
build-macOS aarch64 Expired
434 MB
sha256:9f348a118311a4e8776e1abeef8086d4951e463c0e0bd475d49e9ab1ca7a7807