workflows: run nightly build if builder container has changed

If the builder container image has changed, we might have gotten an updated compiler etc., and we should check whether it works. Signed-off-by: Benjamin Gilbert <[email protected]>
openslide · Sep 25, 2023 · 1cafc1d · 1cafc1d
1 parent 204be23
commit 1cafc1d
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/.github/workflows/winbuild.yml b/.github/workflows/winbuild.yml
@@ -70,6 +70,15 @@ jobs:
                   echo "    -> unchanged"
               fi
           done
+          old=$(jq -r '.builds[-1]["builder"]' docs/windows/index.json)
+          new="${{ steps.find.outputs.builder_repo_and_digest }}"
+          echo "Builder container: $new"
+          if [ "$old" != "$new" ]; then
+              echo "    -> changed from $old"
+              echo "changed=true" >> $GITHUB_OUTPUT
+          else
+              echo "    -> unchanged"
+          fi
 
   build:
     name: Build