Skip to content

Commit

Permalink
Automate cargo update
Browse files Browse the repository at this point in the history
Automatically create pull requests from the result of running `cargo
update` every Monday morning.
tautschnig committed Nov 27, 2023
1 parent e8ee04b commit 013f434
Showing 1 changed file with 47 additions and 0 deletions.
47 changes: 47 additions & 0 deletions .github/workflows/cargo-update.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,47 @@
# Copyright Kani Contributors
# SPDX-License-Identifier: Apache-2.0 OR MIT

name: Attempt cargo update

on:
schedule:
- cron: "30 3 * * Mon" # Run this every Monday at 03:30 UTC
workflow_dispatch: # Allow manual dispatching for a custom branch / tag.

permissions:
checks: write
contents: write
pull-requests: write

jobs:
create-cargo-update-pr:
runs-on: ubuntu-22.04
steps:
- name: Checkout Kani
uses: actions/checkout@v3

- name: Setup Kani Dependencies
uses: ./.github/actions/setup
with:
os: ubuntu-22.04

- name: Run cargo update
env:
GH_TOKEN: ${{ github.token }}
run: |
today=$(date +%Y-%m-%d)
echo "today=$today" >> $GITHUB_ENV
if ! git ls-remote --exit-code origin cargo-update-$today ; then
cargo update
cargo build-dev
git diff
fi
- name: Create Pull Request
uses: peter-evans/create-pull-request@v5
with:
commit-message: Upgrade cargo dependencies to ${{ env.today }}
branch: cargo-update-${{ env.today }}
delete-branch: true
title: 'Automatic cargo update to ${{ env.today }}'
body: >
Dependency upgrade resulting from `cargo update`.

0 comments on commit 013f434

Please sign in to comment.