From 314665bf4abd160a6b041e3c65df8dea224448ea Mon Sep 17 00:00:00 2001
From: Lucas McDonald <lucmcdon@amazon.com>
Date: Mon, 24 Mar 2025 09:26:17 -0700
Subject: [PATCH] chore(CI): Fix daily CI

---
 .github/workflows/daily_ci.yml | 14 ++++++++++++--
 1 file changed, 12 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/daily_ci.yml b/.github/workflows/daily_ci.yml
index 87d3dfb23..c4bd36d07 100644
--- a/.github/workflows/daily_ci.yml
+++ b/.github/workflows/daily_ci.yml
@@ -4,6 +4,7 @@ name: Daily CI
 on:
   schedule:
     - cron: "00 15 * * 1-5"
+  workflow_dispatch:
 
 jobs:
   getVersion:
@@ -63,12 +64,21 @@ jobs:
     with:
       dafny: ${{needs.getVersion.outputs.version}}
 
-  daily-dafny-test-vectors:
+  daily-dafny-keyring-test-vectors:
     if: github.event_name != 'schedule' || github.repository_owner == 'aws'
     needs: getVersion
-    uses: ./.github/workflows/library_interop_test_vectors.yml
+    uses: ./.github/workflows/library_interop_keyring_test_vectors.yml
     with:
       dafny: ${{needs.getVersion.outputs.version}}
+    secrets: inherit
+
+  pr-dafny-mkp-keyring-legacy-test-vectors:
+    if: github.event_name != 'schedule' || github.repository_owner == 'aws'
+    needs: getVersion
+    uses: ./.github/workflows/library_interop_mkp_test_vectors.yml
+    with:
+      dafny: ${{needs.getVersion.outputs.version}}
+    secrets: inherit
 
   daily-dafny-legacy-test-vectors:
     if: github.event_name != 'schedule' || github.repository_owner == 'aws'