From 356fd684ddfbee483a25eaccbe5783de25304790 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 | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index d0073221..975cfacf 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -204,6 +204,12 @@ jobs:
           RUST_BACKTRACE: 1
           RUST_LOG: warn
 
+      - name: Check for non-SHA1 filenames
+        run: |
+          if find target -name 'id:*' | grep .; then
+            exit 1
+          fi
+
   all-checks:
     needs:
       - lint