Merge branch 'dev-workflow-push' into main. Close #93.

space-ros · Feb 1, 2024 · e4c2027 · e4c2027
2 parents bf23e58 + 71add53
commit e4c2027
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/workflows/earthly-build.yaml b/.github/workflows/earthly-build.yaml
@@ -1,7 +1,9 @@
 name: Earthly build
 on:
+  workflow_dispatch:
   push:
     branches: ['main']
+    tags: ['*']
   pull_request:
   schedule:
     - cron: '0 11 * * *'
@@ -45,7 +47,7 @@ jobs:
       - name: Push spaceros image
         env:
           DOCKER_HUB_TOKEN: ${{ secrets.DOCKER_HUB_RW_TOKEN }}
-        if: ${{ (github.event_name == 'push' || github.event_name == 'schedule') && github.ref == 'refs/heads/main' }}
+        if: ${{ github.ref_type == 'tag' }}
         run: |
           echo $DOCKER_HUB_TOKEN | docker login --username osrfbot --password-stdin
           cd spaceros