diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 48bc603b8..d5ddc1cd9 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -219,11 +219,13 @@ jobs: MIRIFLAGS: -Zmiri-strict-provenance docs: + runs-on: ubuntu-latest + permissions: + contents: write needs: - test - cross - fuzz - runs-on: ubuntu-latest steps: - uses: actions/checkout@v4 - uses: dtolnay/rust-toolchain@nightly @@ -236,8 +238,6 @@ jobs: - name: deploy uses: peaceiris/actions-gh-pages@v3 if: ${{ github.ref == 'refs/heads/main' }} - permissions: - contents: write with: github_token: ${{ secrets.GITHUB_TOKEN }} publish_dir: target/docs