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
|
# Alarm on changes to epoll_event_loop implementation
name: ProofAlarm
on: [push]
jobs:
check-for-changes:
runs-on: ubuntu-20.04 # latest
steps:
- name: Checkout Sources
uses: actions/checkout@v1
- name: Check
run: |
TMPFILE=$(mktemp)
echo "8391c38acd85cca2a2892d02ebfd4ceb 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."
|
