Merge branch 'main' into runtime_select_event_loop

awslabs · Nov 12, 2024 · ab05a35 · ab05a35
2 parents 8be6cd2 + c15417b
commit ab05a35
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