From 52de5ebd1d4f6c4017d772dc9070412cc4b480a1 Mon Sep 17 00:00:00 2001
From: Rik Huijzer <t.h.huijzer@rug.nl>
Date: Sat, 27 Aug 2022 10:39:32 +0200
Subject: [PATCH] Pin Julia version

---
 .github/workflows/CompatHelper.yml | 9 ++-------
 1 file changed, 2 insertions(+), 7 deletions(-)

diff --git a/.github/workflows/CompatHelper.yml b/.github/workflows/CompatHelper.yml
index 09181610..273164a8 100644
--- a/.github/workflows/CompatHelper.yml
+++ b/.github/workflows/CompatHelper.yml
@@ -10,16 +10,11 @@ jobs:
   CompatHelper:
     runs-on: ubuntu-latest
     steps:
-      - name: Check if Julia is already available in the PATH
-        id: julia_in_path
-        run: which julia
-        continue-on-error: true
-      - name: Install Julia, but only if it is not already available in the PATH
+      - name: Install Julia
         uses: julia-actions/setup-julia@v1
         with:
-          version: '1'
+          version: '1.8'
           arch: ${{ runner.arch }}
-        if: steps.julia_in_path.outcome != 'success'
       - name: "Add the General registry via Git"
         run: |
           import Pkg