From 08becfdfa8d54b5809d797c2756f6e1d5f36bbca Mon Sep 17 00:00:00 2001 From: Tamir Duberstein Date: Wed, 13 Nov 2024 06:23:09 -0500 Subject: [PATCH] ci: automatically open PRs to update public API This is annoying and I'd like to stop doing it. --- .github/workflows/ci.yml | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 56fc8b109..14895d351 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -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: |