From 5060c2b1affebf2a8291bfbfb9f72dc82c5a0bb0 Mon Sep 17 00:00:00 2001
From: Brian Smith <brian@briansmith.org>
Date: Mon, 26 Apr 2021 17:47:00 -0700
Subject: [PATCH] CI/CD: Remove optimization for repository owner's PRs.

This optimization was carried over from *ring*'s CI configuration, but it
is less important for this project, so eliminate it.
---
 .github/workflows/ci.yml | 24 ------------------------
 1 file changed, 24 deletions(-)

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: