Skip to content
Adaptation PR

fix: make String.toList semireducible #573

Sign in to view logs

fix: make String.toList semireducible

fix: make String.toList semireducible #573

Triggered via pull request July 15, 2026 14:31
@datokratdatokrat
closed #14294
Status Success
Total duration 39s
Artifacts –

adaptation-pr.yml

on: pull_request_target
main
35s
main
Fit to window
Zoom out
Zoom in