From 111fb4eeb4090ac31ff5b80e152e570e433ec51c Mon Sep 17 00:00:00 2001 From: Mathew Polzin Date: Sun, 7 Jul 2024 13:47:34 -0500 Subject: [PATCH 1/2] don't use LC_ALL of C.UTF-8 on macos when testing --- tests/testutils.sh | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/tests/testutils.sh b/tests/testutils.sh index aecef53b97..b6da836fc5 100755 --- a/tests/testutils.sh +++ b/tests/testutils.sh @@ -110,7 +110,11 @@ if [ -z "$PREFIX_CHANGED" ] && [ -n "$IDRIS2_PREFIX" ]; then fi # Set the most neutral locale for reproducibility -export LC_ALL=C.UTF-8 +if [ "$OS" = "darwin" ]; then + export LANG=C LC_CTYPE=UTF-8 +else + export LC_ALL=C.UTF-8 +fi # Remove test directory from output # Useful for consistency of output between machines From 3de1687453631296d47fffa69e345bc84f50fadc Mon Sep 17 00:00:00 2001 From: Mathew Polzin Date: Sun, 7 Jul 2024 14:52:28 -0500 Subject: [PATCH 2/2] bump version of racket setup action to version using new NodeJS per GitHub's warnings --- .github/workflows/ci-idris2-and-libs.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci-idris2-and-libs.yml b/.github/workflows/ci-idris2-and-libs.yml index 97e5d078e4..5da65c0e8e 100644 --- a/.github/workflows/ci-idris2-and-libs.yml +++ b/.github/workflows/ci-idris2-and-libs.yml @@ -448,7 +448,7 @@ jobs: name: windows-installed-bootstrapped-idris2-chez path: ${{ env.IDRIS_PREFIX }} - name: Install build dependencies - uses: Bogdanp/setup-racket@v1.4 + uses: Bogdanp/setup-racket@v1.11 with: variant: 'CS' version: 'stable'