Check for copyright header

fix: fresh result type in `ControlLifter.lift` for monad resolution #25673

Sign in to view logs

Triggered via pull request April 9, 2026 16:13

sgraf812

synchronize #13349

sg/fix-do-try-catch-coerce

Status Success

Total duration 57s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files