Use mold for GitHub Actions builds

SOCI · Dec 7, 2023 · ad1cb2c · ad1cb2c
1 parent 52e2200
commit ad1cb2c
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -117,6 +117,9 @@ jobs:
             set_env_var BUILD_EXAMPLES YES
           fi
 
+      - name: Install better linker
+        uses: rui314/setup-mold@v1
+
       - name: Install dependencies under Linux
         if: runner.os == 'Linux'
         run: ./scripts/ci/install.sh