CI

feat: `ForIn`, `fold(M)`, `drain` lemmas for iterators #35544

Sign in to view logs

Triggered via pull request May 30, 2025 08:39

datokrat

synchronize #8405

paul/iterators/3

Status Success

Total duration 25m 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	454 MB	`sha256:5abe059aa41b21b4f114b42f4b12eeaea2b41e00c32b764c5b50b4e2e1926065`
build-macOS aarch64 Expired	434 MB	`sha256:73e59372c777be4074d1fc420d2c8424f6e923596911d7dd4b048c66df331a3e`