From a28e88c3f951aae427bd6444dd8753aa17d41c31 Mon Sep 17 00:00:00 2001 From: Alex Chew Date: Thu, 17 Oct 2024 15:22:59 -0700 Subject: [PATCH] ci: fix missing getVersion in nightly Dafny CI Fixes startup failures like https://github.com/aws/aws-cryptographic-material-providers-library/actions/runs/11389253918 --- .github/workflows/nightly_dafny.yml | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/.github/workflows/nightly_dafny.yml b/.github/workflows/nightly_dafny.yml index 8c7eeafbc..8d7f7ab5b 100644 --- a/.github/workflows/nightly_dafny.yml +++ b/.github/workflows/nightly_dafny.yml @@ -11,6 +11,10 @@ on: - cron: "30 16 * * *" jobs: + getVersion: + # Don't run the cron builds on forks + if: github.event_name != 'schedule' || github.repository_owner == 'aws' + uses: ./.github/workflows/dafny_version.yaml dafny-nightly-format: # Don't run the cron builds on forks if: github.event_name != 'schedule' || github.repository_owner == 'aws' @@ -39,6 +43,7 @@ jobs: regenerate-code: true dafny-nightly-python: needs: getVersion + if: github.event_name != 'schedule' || github.repository_owner == 'aws' uses: ./.github/workflows/library_python_tests.yml with: dafny: ${{needs.getVersion.outputs.version}}