From 361b2c7096635846c2b926f776e374d583c0225b Mon Sep 17 00:00:00 2001
From: Kasper Peeters <kasper.peeters@cadabra.science>
Date: Sun, 4 Aug 2024 15:26:12 +0200
Subject: [PATCH] Add github docker image build action.

---
 .github/workflows/docker.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml
index 154b9e36d5..c912a53df2 100644
--- a/.github/workflows/docker.yml
+++ b/.github/workflows/docker.yml
@@ -1,4 +1,4 @@
-name: Linux
+name: Docker
 
 on: [push]
 
@@ -8,7 +8,7 @@ jobs:
     runs-on: ubuntu-latest
     
     steps:
-    - uses: actions/checkout@v4
+    - uses: actions/checkout@v3
 
     - name: Exit if not on devel branch
       if: github.ref != 'refs/heads/devel'