From ef8cb36b010142cda60efd9385d43e5b30854b67 Mon Sep 17 00:00:00 2001
From: Samuel Moelius <samuel.moelius@trailofbits.com>
Date: Sat, 7 Dec 2024 12:02:44 +0000
Subject: [PATCH] Check for non-SHA1 filenames in target directory

---
 .github/workflows/ci.yml | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index a77c2087..a49a5eae 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -208,6 +208,13 @@ jobs:
           RUST_BACKTRACE: 1
           RUST_LOG: warn
 
+      - name: Check for non-SHA1 filenames
+        if: ${{ matrix.sha1_filenames }}
+        run: |
+          if find target -name 'id:*' | grep .; then
+            exit 1
+          fi
+
   all-checks:
     needs:
       - lint