Skip to content
Check for modules that should use `prelude`

feat: remove @[simp] from Option.pmap/pbind and add simp lemmas #4248

Sign in to view logs

feat: remove @[simp] from Option.pmap/pbind and add simp lemmas

feat: remove @[simp] from Option.pmap/pbind and add simp lemmas #4248

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-prelude
5s
5s