Skip to content

Commit

Permalink
Add a workflow to update features/verify-rust-std
Browse files Browse the repository at this point in the history
  • Loading branch information
celinval committed Jul 25, 2024
1 parent e21e5f6 commit 41972ac
Showing 1 changed file with 33 additions and 0 deletions.
33 changes: 33 additions & 0 deletions .github/workflows/verify-std-update.yml
Original file line number Diff line number Diff line change
@@ -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

permissions:
contents: write

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
steps:
- name: Update feature branch
working-directory: kani
run: |
git push origin HEAD:features/verify-rust-std

0 comments on commit 41972ac

Please sign in to comment.