diff --git a/.github/workflows/proof-alarm.yml b/.github/workflows/proof-alarm.yml
index 50e94db77..433678896 100644
--- a/.github/workflows/proof-alarm.yml
+++ b/.github/workflows/proof-alarm.yml
@@ -16,7 +16,7 @@ jobs:
     - name: Check
       run: |
         TMPFILE=$(mktemp)
-        echo "1fdf8e7a914412cc7242b8d64732fa89  source/linux/epoll_event_loop.c" > $TMPFILE
+        echo "fb906f599051ed940f141b7d11de0db1 source/linux/epoll_event_loop.c" > $TMPFILE
         md5sum --check $TMPFILE
 
     # No further steps if successful