diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 714dd173..1f925788 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -6,9 +6,6 @@ on: push: jobs: rustfmt: - # Don't run duplicate `push` jobs for the repo owner's PRs. - if: github.event_name == 'push' || github.event.pull_request.head.repo.full_name != github.repository - runs-on: ubuntu-18.04 steps: @@ -23,9 +20,6 @@ jobs: - run: cargo fmt --all -- --check clippy: - # Don't run duplicate `push` jobs for the repo owner's PRs. - if: github.event_name == 'push' || github.event.pull_request.head.repo.full_name != github.repository - runs-on: ubuntu-18.04 steps: @@ -42,9 +36,6 @@ jobs: - run: mk/clippy.sh audit: - # Don't run duplicate `push` jobs for the repo owner's PRs. - if: github.event_name == 'push' || github.event.pull_request.head.repo.full_name != github.repository - runs-on: ubuntu-18.04 steps: @@ -72,9 +63,6 @@ jobs: - run: cargo audit --deny warnings deny: - # Don't run duplicate `push` jobs for the repo owner's PRs. - if: github.event_name == 'push' || github.event.pull_request.head.repo.full_name != github.repository - runs-on: ubuntu-18.04 steps: @@ -101,9 +89,6 @@ jobs: # Verify that documentation builds. rustdoc: - # Don't run duplicate `push` jobs for the repo owner's PRs. - if: github.event_name == 'push' || github.event.pull_request.head.repo.full_name != github.repository - runs-on: ubuntu-18.04 strategy: @@ -131,9 +116,6 @@ jobs: cargo doc --all-features package: - # Don't run duplicate `push` jobs for the repo owner's PRs. - if: github.event_name == 'push' || github.event.pull_request.head.repo.full_name != github.repository - runs-on: ubuntu-18.04 steps: @@ -150,9 +132,6 @@ jobs: test: - # Don't run duplicate `push` jobs for the repo owner's PRs. - if: github.event_name == 'push' || github.event.pull_request.head.repo.full_name != github.repository - runs-on: ${{ matrix.host_os }} strategy: @@ -233,9 +212,6 @@ jobs: cargo test -vv --target=${{ matrix.target }} ${{ matrix.cargo_options }} ${{ matrix.features }} ${{ matrix.mode }} coverage: - # Don't run duplicate `push` jobs for the repo owner's PRs. - if: github.event_name == 'push' || github.event.pull_request.head.repo.full_name != github.repository - runs-on: ${{ matrix.host_os }} strategy: