enable static linking, and include ubuntu, in matrix build.

Author: robinheghan

.github/workflows/build.yml

@@ -103,7 +103,7 @@ jobs:
   mac:
     strategy:
       matrix:
-        os: [macos-13, macos-14]
+        os: [ubuntu-latest, macos-13, macos-14]
 
     runs-on: ${{ matrix.os }}
     needs: validate-code-formatting
@@ -143,7 +143,7 @@ jobs:
         run: devbox run -- npm install
 
       - name: Configure
-        run: devbox run -- cabal configure --enable-tests -O2
+        run: devbox run -- cabal configure --enable-tests --enable-executable-static --ghc-option=-split-sections -O2
 
       - name: Build
         run: devbox run -- cabal build
@@ -159,7 +159,7 @@ jobs:
 
       - uses: actions/upload-artifact@v4
         with:
-          name: gren_${{ matrix.os }}
+          name: gren-${{ matrix.os }}
           path: gren
           retention-days: 14