search

idris-lang / Idris2

A purely functional programming language with first class types
https://idris-lang.org/
Other
2.46k stars 369 forks source link

[ fix #3339 ] Set the global test locale #3340

Closed buzden closed 1 day ago

buzden commented 2 days ago

Description

Sets the locale in the testutils.sh. I think, this is right place do to this, since no other test wants to observe the same problem in the future.