Skip to content
Adaptation PR

fix: make String.toList semireducible #569

Sign in to view logs

fix: make String.toList semireducible

fix: make String.toList semireducible #569

Triggered via pull request July 15, 2026 13:28
@datokratdatokrat
ready_for_review #14294
Status Success
Total duration 41s
Artifacts –

adaptation-pr.yml

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