ci: skip docker image builds for pull requests

Building docker images for pull requests is unnecessary. Also, the "release" tag should always refer to the latest commit on the master branch. Signed-off-by: Renato Westphal <[email protected]>
holo-routing · Sep 4, 2023 · f41ddd1 · f41ddd1
1 parent 939c076
commit f41ddd1
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -56,6 +56,7 @@ jobs:
   push-image:
     name: Docker Image Build
     runs-on: ubuntu-latest
+    if: github.ref == 'refs/heads/master'
     steps:
       - uses: actions/checkout@v3
       - uses: docker/login-action@v2