Skip to content
Backport

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

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 #14474

Triggered via pull request November 1, 2025 14:01
@TwoFXTwoFX
labeled #11048
Status Skipped
Total duration 1s
Artifacts –

backport.yml

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