Fix `Export` order for `length`. Remove `length` hack in strings. Add a test.
Failed
Robbert Krebbers
created pipeline for commit
7d981af6
, finished
1 related merge request: !129 Fix `Export` order for `length`. Remove `length` hack in strings.
10 minutes 16 seconds, queued for 1 seconds