From 1cafc1d3ec3d4ae9714c5489b5146cb9fae29365 Mon Sep 17 00:00:00 2001 From: Benjamin Gilbert Date: Mon, 25 Sep 2023 02:52:31 -0500 Subject: [PATCH] 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 --- .github/workflows/winbuild.yml | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/.github/workflows/winbuild.yml b/.github/workflows/winbuild.yml index afdd126..a6489ba 100644 --- 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