diff --git a/.github/workflows/verify-std-update.yml b/.github/workflows/verify-std-update.yml
deleted file mode 100644
index 518f80ecd1b8..000000000000
--- a/.github/workflows/verify-std-update.yml
+++ /dev/null
@@ -1,35 +0,0 @@
-# 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: Checkout Kani
-        uses: actions/checkout@v4
-
-      - name: Update feature branch
-        run: |
-          git push origin HEAD:features/verify-rust-std
-