From fb38f6e827ca93c54ccaf3a7a23969b13a3142de Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Thu, 27 Mar 2025 09:10:16 +0000 Subject: [PATCH] Remove CI job to update features/verify-rust-std We no longer use this branch as the verify-rust-std repo instead directly uses versions in `main`. --- .github/workflows/verify-std-update.yml | 35 ------------------------- 1 file changed, 35 deletions(-) delete mode 100644 .github/workflows/verify-std-update.yml 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 -