CI

chore: fix name of new Fin.foldlM_eq_finRange_foldlM lemmas #34973

Sign in to view logs

Triggered via pull request May 21, 2025 00:03

kim-em

synchronize #8425

foldlM_finRange

Status Success

Total duration 28m 6s

Artifacts 2

ci.yml

on: pull_request

Matrix: build / build

Matrix: build-secondary / build

Build matrix complete

release-nightly

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	449 MB	`sha256:d502482f3280cbb670c4ba348c69facad867a8a8a9b60ae8d14c4e8460056313`
build-macOS aarch64 Expired	430 MB	`sha256:a652bcba79d378f49c099b29748fe0a7e900e6a9cba204435e6d3f69e12ba968`