1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
# Alarm on changes to epoll_event_loop implementation
name: ProofAlarm
on: [push]
jobs:
check-for-changes:
runs-on: ubuntu-24.04 # latest
steps:
- name: Checkout Sources
uses: actions/checkout@v4
- name: Check
run: |
TMPFILE=$(mktemp)
echo "42e574284e4e0c4af33bf3ab16114bcc source/linux/epoll_event_loop.c" > $TMPFILE
md5sum --check $TMPFILE
# No further steps if successful
- name: Echo fail
if: failure()
run: |
echo "The VCC proofs are based on a snapshot of epoll_event_loop.c.
This push updates this file so the proofs must be rechecked to ensure they remain valid.
Please contact Nathan Chong.
You can also update md5sum value by running `md5sum source/linux/epoll_event_loop.c` if the changes are trivial."
|
