Merge branch 'main' into devel

grycap · Jul 10, 2024 · 4dc23f7 · 4dc23f7
2 parents a4b9a8c + 074cbcb
commit 4dc23f7
Showing 1 changed file with 9 additions and 3 deletions.
diff --git a/.github/workflows/docker-image.yml b/.github/workflows/docker-image.yml
@@ -2,7 +2,9 @@ name: Docker Image CI
 
 on:
   push:
-    branches: [ "main" ]
+    branches:
+    - main
+    - devel
 
 jobs:
 
@@ -20,5 +22,9 @@ jobs:
     - name: Build the Docker image
       run: |
         GHCR_IMAGE=ghcr.io/grycap/oscar-metrics
-        
-        docker build . --file Dockerfile --output "type=image,push=true" --tag ${GHCR_IMAGE}:latest
+        if [[ $GITHUB_REF == refs/heads/devel ]]; then
+          TAG="${GHCR_IMAGE}:devel"
+        else
+          TAG="${GHCR_IMAGE}:latest"
+        fi
+        docker build . --file Dockerfile --output "type=image,push=true" --tag ${TAG}