File tree Expand file tree Collapse file tree 1 file changed +33
-0
lines changed Expand file tree Collapse file tree 1 file changed +33
-0
lines changed Original file line number Diff line number Diff line change 1+ name : Check Generated Seccomp Files
2+ on :
3+ pull_request :
4+
5+ permissions : {}
6+
7+ jobs :
8+ check-seccomp :
9+ runs-on : ubuntu-latest
10+ timeout-minutes : 2
11+
12+ steps :
13+ - name : Checkout current commit
14+ uses : actions/checkout@v5
15+ with :
16+ fetch-depth : 0
17+
18+ - name : Setup Python environment
19+ run : |
20+ python -m venv venv && venv/bin/pip install edn_format
21+
22+ - name : Check generated seccomp files
23+ run : |
24+ set -e
25+ source venv/bin/activate
26+ make seccomp-policies
27+ if [ -n "$(git status --porcelain)" ]; then
28+ echo "Generated seccomp files are out of date. Please run 'make seccomp-policies' and commit the changes."
29+ git --no-pager diff
30+ exit 1
31+ else
32+ echo "All generated seccomp files are up to date."
33+ fi
You can’t perform that action at this time.
0 commit comments