Skip to content

refactor: use String.ofList and String.toList for String <-> List Char conversion #19363

refactor: use String.ofList and String.toList for String <-> List Char conversion

refactor: use String.ofList and String.toList for String <-> List Char conversion #19363

Triggered via pull request October 31, 2025 11:42
Status Success
Total duration 34s
Artifacts

copyright-header.yml

on: pull_request
check-lean-files
30s
check-lean-files
Fit to window
Zoom out
Zoom in