CI

feat: add `MonadControl` lemmas for `ReaderT`, `OptionT`, `StateT`, and `ExceptT` #48293

Sign in to view logs

Triggered via pull request December 10, 2025 23:24

eric-wieser

opened #11591

eric-wieser:monad-control-lemmas

Status Success

Total duration 42m 50s

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

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	625 MB	`sha256:3aa2919acade4fbd3933ebd886dfb04aa17390955f42f9099dfa25cad56b2e4d`
build-macOS aarch64	606 MB	`sha256:77609a3212383aa4c08afe8ff70f87804e7dc4fd404d13437de15752df0716ba`