Use install-futhark action.

diku-dk · Dec 2, 2023 · 7d929e6 · 7d929e6
1 parent 3d86d79
commit 7d929e6
Showing 1 changed file with 3 additions and 6 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -18,12 +18,9 @@ jobs:
     steps:
     - uses: actions/checkout@v2
 
-    - name: Install Futhark
-      run: |
-          wget http://futhark-lang.org/releases/futhark-nightly-linux-x86_64.tar.xz
-          tar xf futhark-nightly-linux-x86_64.tar.xz
-          (cd futhark-nightly-linux-x86_64/ && PREFIX=$HOME/.local make install)
-          echo "$HOME/.local/bin" >> $GITHUB_PATH
+   - uses: diku-dk/[email protected]
+     with:
+       version: 'latest'
 
     - run: futhark pkg sync