Skip to content

Commit 36079de

Browse files
chore(CI): Fix daily CI (#771)
1 parent 90f55db commit 36079de

File tree

1 file changed

+12
-2
lines changed

1 file changed

+12
-2
lines changed

.github/workflows/daily_ci.yml

Lines changed: 12 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -4,6 +4,7 @@ name: Daily CI
44
on:
55
schedule:
66
- cron: "00 15 * * 1-5"
7+
workflow_dispatch:
78

89
jobs:
910
getVersion:
@@ -63,12 +64,21 @@ jobs:
6364
with:
6465
dafny: ${{needs.getVersion.outputs.version}}
6566

66-
daily-dafny-test-vectors:
67+
daily-dafny-keyring-test-vectors:
6768
if: github.event_name != 'schedule' || github.repository_owner == 'aws'
6869
needs: getVersion
69-
uses: ./.github/workflows/library_interop_test_vectors.yml
70+
uses: ./.github/workflows/library_interop_keyring_test_vectors.yml
7071
with:
7172
dafny: ${{needs.getVersion.outputs.version}}
73+
secrets: inherit
74+
75+
pr-dafny-mkp-keyring-legacy-test-vectors:
76+
if: github.event_name != 'schedule' || github.repository_owner == 'aws'
77+
needs: getVersion
78+
uses: ./.github/workflows/library_interop_mkp_test_vectors.yml
79+
with:
80+
dafny: ${{needs.getVersion.outputs.version}}
81+
secrets: inherit
7282

7383
daily-dafny-legacy-test-vectors:
7484
if: github.event_name != 'schedule' || github.repository_owner == 'aws'

0 commit comments

Comments
 (0)