Skip to content
Backport

refactor: use withImplicitBinderInfos and mkArrowN in more places #15322

Sign in to view logs

refactor: use withImplicitBinderInfos and mkArrowN in more places

refactor: use withImplicitBinderInfos and mkArrowN in more places #15322

Triggered via pull request December 3, 2025 09:03
@nomeatanomeata
closed #11492
Status Success
Total duration 11s
Artifacts –

backport.yml

on: pull_request_target
Backport
5s
Backport
Fit to window
Zoom out
Zoom in