From 7d929e692c72cb31fe61f66cd7444414e8fae951 Mon Sep 17 00:00:00 2001
From: Troels Henriksen <athas@sigkill.dk>
Date: Sat, 2 Dec 2023 08:19:37 +0100
Subject: [PATCH] Use install-futhark action.

---
 .github/workflows/main.yml | 9 +++------
 1 file changed, 3 insertions(+), 6 deletions(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index a8689b7..c59a79f 100644
--- 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/install-futhark@v1.1.0
+     with:
+       version: 'latest'
 
     - run: futhark pkg sync