Add github docker image build action.

kpeeters · Aug 4, 2024 · 361b2c7 · 361b2c7
1 parent 24cc245
commit 361b2c7
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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'