From 7a9c1babf659dd7c2706a049ee52359e1f95c5da Mon Sep 17 00:00:00 2001
From: Andy Jewell <ajewell@amazon.com>
Date: Mon, 18 Nov 2024 13:43:18 -0500
Subject: [PATCH] m

---
 .github/workflows/daily_ci.yml | 5 +++++
 .github/workflows/manual.yml   | 5 +++++
 .github/workflows/mpl-head.yml | 6 ++++++
 .github/workflows/nightly.yml  | 6 ++++++
 .github/workflows/pull.yml     | 5 +++++
 .github/workflows/push.yml     | 5 +++++
 6 files changed, 32 insertions(+)

diff --git a/.github/workflows/daily_ci.yml b/.github/workflows/daily_ci.yml
index cc047fcab..ed5cf7e78 100644
--- a/.github/workflows/daily_ci.yml
+++ b/.github/workflows/daily_ci.yml
@@ -56,6 +56,11 @@ jobs:
     uses: ./.github/workflows/ci_test_net.yml
     with:
       dafny: ${{needs.getVersion.outputs.version}}
+  daily-ci-rust:
+    needs: getVersion
+    uses: ./.github/workflows/library_rust_tests.yml
+    with:
+      dafny: ${{needs.getVersion.outputs.version}}
   daily-ci-net-test-vectors:
     needs: getVersion
     uses: ./.github/workflows/ci_test_vector_net.yml
diff --git a/.github/workflows/manual.yml b/.github/workflows/manual.yml
index 783589a67..8679b4f30 100644
--- a/.github/workflows/manual.yml
+++ b/.github/workflows/manual.yml
@@ -52,6 +52,11 @@ jobs:
     with:
       dafny: ${{ inputs.dafny }}
       regenerate-code: ${{ inputs.regenerate-code }}
+  manual-ci-rust:
+    uses: ./.github/workflows/library_rust_tests.yml
+    with:
+      dafny: ${{ inputs.dafny }}
+      regenerate-code: ${{ inputs.regenerate-code }}
   manual-ci-net-test-vectors:
     uses: ./.github/workflows/ci_test_vector_net.yml
     with:
diff --git a/.github/workflows/mpl-head.yml b/.github/workflows/mpl-head.yml
index 39f0eb579..6e2e06234 100644
--- a/.github/workflows/mpl-head.yml
+++ b/.github/workflows/mpl-head.yml
@@ -67,6 +67,12 @@ jobs:
     with:
       dafny: ${{needs.getVersion.outputs.version}}
       mpl-head: true
+  mpl-head-ci-rust:
+    needs: getVersion
+    uses: ./.github/workflows/library_rust_tests.yml
+    with:
+      dafny: ${{needs.getVersion.outputs.version}}
+      mpl-head: true
   mpl-head-ci-net-test-vectors:
     needs: getVersion
     uses: ./.github/workflows/ci_test_vector_net.yml
diff --git a/.github/workflows/nightly.yml b/.github/workflows/nightly.yml
index 408eefe62..8eff29fe2 100644
--- a/.github/workflows/nightly.yml
+++ b/.github/workflows/nightly.yml
@@ -52,6 +52,12 @@ jobs:
     with:
       dafny: "nightly-latest"
       regenerate-code: true
+  dafny-nightly-rust:
+    if: github.event_name != 'schedule' || github.repository_owner == 'aws'
+    uses: ./.github/workflows/library_rust_tests.yml
+    with:
+      dafny: "nightly-latest"
+      regenerate-code: true
   dafny-nightly-test-vectors-net:
     if: github.event_name != 'schedule' || github.repository_owner == 'aws'
     uses: ./.github/workflows/ci_test_vector_net.yml
diff --git a/.github/workflows/pull.yml b/.github/workflows/pull.yml
index ed61e4e80..e56c89c70 100644
--- a/.github/workflows/pull.yml
+++ b/.github/workflows/pull.yml
@@ -49,6 +49,11 @@ jobs:
     uses: ./.github/workflows/ci_test_net.yml
     with:
       dafny: ${{needs.getVersion.outputs.version}}
+  pr-ci-rust:
+    needs: getVersion
+    uses: ./.github/workflows/library_rust_tests.yml
+    with:
+      dafny: ${{needs.getVersion.outputs.version}}
   pr-ci-net-test-vectors:
     needs: getVersion
     uses: ./.github/workflows/ci_test_vector_net.yml
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
index 89b0fa4bc..9e49cf133 100644
--- a/.github/workflows/push.yml
+++ b/.github/workflows/push.yml
@@ -51,6 +51,11 @@ jobs:
     uses: ./.github/workflows/ci_test_net.yml
     with:
       dafny: ${{needs.getVersion.outputs.version}}
+  pr-ci-rust:
+    needs: getVersion
+    uses: ./.github/workflows/library_rust_tests.yml
+    with:
+      dafny: ${{needs.getVersion.outputs.version}}
   pr-ci-net-test-vectors:
     needs: getVersion
     uses: ./.github/workflows/ci_test_vector_net.yml