From f835ffce7da9bee6fb8378f46aa542c4cc0b8ac3 Mon Sep 17 00:00:00 2001
From: Derek Parker <parkerderek86@gmail.com>
Date: Fri, 7 Jul 2023 10:14:53 -0700
Subject: [PATCH] Add boringcheck step

---
 .github/workflows/test-pr-set.yml | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/.github/workflows/test-pr-set.yml b/.github/workflows/test-pr-set.yml
index 5be62aa..a371e98 100644
--- a/.github/workflows/test-pr-set.yml
+++ b/.github/workflows/test-pr-set.yml
@@ -158,6 +158,16 @@ jobs:
           pushd go
           ./scripts/configure-crypto-tests.sh
 
+      - name: "Run boringcheck"
+        shell: bash
+        run: |
+          cd $GITHUB_WORKSPACE/..
+          pwd
+          git clone https://github.com/derekparker/boringcheck.git
+          pushd go
+          go run ../boringcheck/cmd/boringcheck/main.go go/src/crypto > boringcheck.txt
+          diff scripts/exceptions.txt boringcheck.txt
+
       - name: "Build Go"
         shell: bash
         run: |