Skip to content

Commit

Permalink
ci: automatically open PRs to update public API
Browse files Browse the repository at this point in the history
This is annoying and I'd like to stop doing it.
  • Loading branch information
tamird committed Nov 13, 2024
1 parent 103eed1 commit 08becfd
Showing 1 changed file with 10 additions and 2 deletions.
12 changes: 10 additions & 2 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -48,8 +48,16 @@ jobs:
- name: Run clippy
run: cargo hack clippy --all-targets --feature-powerset --workspace -- --deny warnings

- name: Check public API
run: cargo xtask public-api
- run: cargo xtask public-api
if: github.event_name == 'pull_request'

- run: cargo xtask public-api --bless
if: github.event_name != 'pull_request' && github.repository_owner == 'aya-rs'

- uses: peter-evans/create-pull-request@v7
if: github.event_name != 'pull_request' && github.repository_owner == 'aya-rs'
with:
commit-message: "public-api: regenerate"

- name: Run miri
run: |
Expand Down

0 comments on commit 08becfd

Please sign in to comment.