diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml index 7f778e8fa..df03e87ba 100644 --- a/.github/workflows/rust.yml +++ b/.github/workflows/rust.yml @@ -316,3 +316,21 @@ jobs: uses: model-checking/kani-github-action@v1.1 with: args: "--only-codegen" + + API: + needs: Prepare + name: API - nightly toolchain + runs-on: ubuntu-latest + strategy: + fail-fast: false + steps: + - name: "Checkout repo" + uses: actions/checkout@v4 + - name: "Select toolchain" + uses: dtolnay/rust-toolchain@v1 + with: + toolchain: ${{ needs.Prepare.outputs.nightly_version }} + - name: "Install cargo-public-api" + run: cargo install --locked cargo-public-api + - name: "Run API checker script" + run: ./contrib/check-for-api-changes.sh