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

This job was skipped