Skip to content
Check PR body for changelog convention

fix: make sure monad lift coercion elaborator has no side effects #231

Sign in to view logs

fix: make sure monad lift coercion elaborator has no side effects

fix: make sure monad lift coercion elaborator has no side effects #231

Triggered via pull request November 11, 2024 23:56
@leanprover-community-botleanprover-community-bot
labeled #6024
kmill:fix_coercemonadlift
Status Success
Total duration 15s
Artifacts –

pr-body.yml

on: pull_request
check-pr-body
7s
check-pr-body
Fit to window
Zoom out
Zoom in