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: |