Skip to content
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
48 changes: 48 additions & 0 deletions .github/workflows/regenerate-target-info
Original file line number Diff line number Diff line change
@@ -0,0 +1,48 @@
name: Regenerate target info

on:
workflow_dispatch: # Allow running on-demand
schedule:
- cron: '0 3 * * 5'

jobs:
regenerate:
name: Regenerate target info & Open Pull Request if necessary
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
with:
persist-credentials: true

- name: Generate branch name
run: |
git checkout -b regenerate-target-info/${{ github.run_id }}

- name: Install rust
run: |
rustup toolchain install stable --no-self-update --profile minimal

- name: Regenerate target info
run: cargo run --bin gen-target-info

- name: Detect changes
id: changes
run:
# This output boolean tells us if the dependencies have actually changed
echo "count=$(git status --porcelain=v1 | wc -l)" >> $GITHUB_OUTPUT

- name: Commit and push changes
# Only push if changes exist
if: steps.changes.outputs.count > 0
run: |
git config user.name github-actions
git config user.email [email protected]
git commit -am "dep: Regenerate target info"
git push origin HEAD

- name: Open pull request if needed
if: steps.changes.outputs.count > 0
env:
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
run: |
gh pr create --base main --fill