Skip to content
Backport

chore: use String.ofList instead of String.mk in elaborator+kernel #14477

Sign in to view logs

chore: use String.ofList instead of String.mk in elaborator+kernel

chore: use String.ofList instead of String.mk in elaborator+kernel #14477

Triggered via pull request November 1, 2025 15:03
@TwoFXTwoFX
closed #11048
Status Success
Total duration 8s
Artifacts –

backport.yml

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