Skip to content

feat: allow MVarId.assertHypotheses to set BinderInfo/Kind #4944

feat: allow MVarId.assertHypotheses to set BinderInfo/Kind

feat: allow MVarId.assertHypotheses to set BinderInfo/Kind #4944

Triggered via pull request October 2, 2024 04:54
Status Success
Total duration 27s
Artifacts

check-stage0.yml

on: pull_request
check-stage0-on-queue
19s
check-stage0-on-queue
Fit to window
Zoom out
Zoom in