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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
main
35s
35s