nightly-dev build

Author: valentijnscholten

.github/workflows/release-2-tag-docker-push.yml

@@ -13,6 +13,7 @@ on:
         type: string
         description: 'Release version (x.y.z format)'
         required: true
+        default: '0.1.5'
 
 jobs:
   tag:
@@ -31,7 +32,7 @@ jobs:
       - name: Create new tag ${{ github.event.inputs.release_number }}
         # at this point, the PR from the 1st workflow is merged into master.
         run: |
-          git tag -a ${{ github.event.inputs.release_number }} -m "[bot] release ${{ github.event.inputs.release_number }}"
+          git tag -f -a ${{ github.event.inputs.release_number }} -m "[bot] release ${{ github.event.inputs.release_number }}"
           git push origin ${{ github.event.inputs.release_number }}
 
   publish-docker-containers:

.github/workflows/release-x-manual-merge-container-digests.yml

@@ -88,7 +88,7 @@ jobs:
 
       # debian images are the default / official ones, so these get the latest tag
     - name: Tag Debian with latest tags
-      if: ${{ matrix.os  == 'debian' }} && ${{ github.event.inputs.is_latest }}
+      if: ${{ (matrix.os  == 'debian') && (github.event.inputs.is_latest) }}
       working-directory: ${{ runner.temp }}/digests
       run: |
         set -x