From ea7d93be3bb531dc0e51fd9e4d524b6a1107a366 Mon Sep 17 00:00:00 2001
From: "Celina G. Val" <celinval@amazon.com>
Date: Thu, 25 Jul 2024 14:05:32 -0700
Subject: [PATCH] Add a workflow to update `features/verify-rust-std`

---
 .github/workflows/verify-std-update.yml | 33 +++++++++++++++++++++++++
 1 file changed, 33 insertions(+)
 create mode 100644 .github/workflows/verify-std-update.yml

diff --git a/.github/workflows/verify-std-update.yml b/.github/workflows/verify-std-update.yml
new file mode 100644
index 000000000000..f69b0c2fba64
--- /dev/null
+++ b/.github/workflows/verify-std-update.yml
@@ -0,0 +1,33 @@
+# Copyright Kani Contributors
+# SPDX-License-Identifier: Apache-2.0 OR MIT
+#
+# This workflow will try to update the verify std branch.
+
+name: Update "features/verify-rust-std"
+on:
+  schedule:
+    - cron: "30 3 * * *" # Run this every day at 03:30 UTC
+  workflow_dispatch:     # Allow manual dispatching.
+
+env:
+  RUST_BACKTRACE: 1
+
+jobs:
+  # First ensure the HEAD is compatible with the `verify-rust-std` repository.
+  verify-std:
+    name: Verify Std
+    permissions: { }
+    uses: ./.github/workflows/verify-std-check.yml
+
+  # Push changes to the features branch.
+  update-branch:
+    needs: verify-std
+    permissions:
+      contents: write
+    runs-on: ubuntu-latest
+    steps:
+      - name: Update feature branch
+        working-directory: kani
+        run: |
+          git push origin HEAD:features/verify-rust-std
+