From 7cc8092a3d3506c093aab7a33354709b5be64e6d Mon Sep 17 00:00:00 2001 From: Robin Salkeld Date: Thu, 30 Nov 2023 09:58:00 -0800 Subject: [PATCH 1/2] Add manual trigger for nightly_dafny.yml --- .github/workflows/nighly_dafny.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/nighly_dafny.yml b/.github/workflows/nighly_dafny.yml index 4a2d64c4b..5da387431 100644 --- a/.github/workflows/nighly_dafny.yml +++ b/.github/workflows/nighly_dafny.yml @@ -9,6 +9,7 @@ on: # but this might need to be tweaked: # https://github.com/dafny-lang/dafny/blob/master/.github/workflows/deep-tests.yml#L16 - cron: "30 16 * * *" + workflow_dispatch: jobs: dafny-nightly-verification: From f9acf4186ee367df1eeec7a1523bb0d1dc225ba1 Mon Sep 17 00:00:00 2001 From: Robin Salkeld Date: Thu, 30 Nov 2023 10:02:09 -0800 Subject: [PATCH 2/2] chore: Add manual trigger for nightly_dafny.yml