Update checksum based on previous PR changes (#695)

Co-authored-by: Bret Ambrose <bambrose@amazon.com>
awslabs · Nov 12, 2024 · c15417b · c15417b
1 parent 11c9be9
commit c15417b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/proof-alarm.yml b/.github/workflows/proof-alarm.yml
@@ -16,7 +16,7 @@ jobs:
     - name: Check
       run: |
         TMPFILE=$(mktemp)
-        echo "c624a28de5af7f851a240a1e65a26c01  source/linux/epoll_event_loop.c" > $TMPFILE
+        echo "1fdf8e7a914412cc7242b8d64732fa89  source/linux/epoll_event_loop.c" > $TMPFILE
         md5sum --check $TMPFILE
 
     # No further steps if successful