aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorChristian Göttsche <cgzones@googlemail.com>2022-01-29 18:56:38 +0100
committerJason Zaman <perfinion@gentoo.org>2022-01-31 09:55:20 -0800
commit2b974a96b895b5c4c7dc7991ccd6e441344ba003 (patch)
treec902c4eb593a32118139b2a82c01961918c99fb2
parentMerge upstream (diff)
downloadhardened-refpolicy-2b974a96.tar.gz
hardened-refpolicy-2b974a96.tar.bz2
hardened-refpolicy-2b974a96.zip
Revert "tests.yml: Disable policy_module() selint checks."
This reverts commit 5781a2393cfbc6592cf52abff1eda08afb15c898. SELint 1.2.1 supports the new policy_module syntax. Signed-off-by: Christian Göttsche <cgzones@googlemail.com> Signed-off-by: Jason Zaman <perfinion@gentoo.org>
-rw-r--r--.github/workflows/tests.yml11
1 files changed, 5 insertions, 6 deletions
diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
index a8676631b..86834fffa 100644
--- a/.github/workflows/tests.yml
+++ b/.github/workflows/tests.yml
@@ -36,12 +36,11 @@ jobs:
- name: Run file context checker
run: python3 -t -t -E -W error testing/check_fc_files.py
-# Disable selint until it can handle a single parameter policy_module().
-# - name: Run SELint
-# run: |
-# # disable C-005 (Permissions in av rule or class declaration not ordered) for now: needs fixing
-# # disable W-005 (Interface call from module not in optional_policy block): refpolicy does not follow this rule
-# #selint --source --recursive --summary --fail --disable C-005 --disable W-005 policy
+ - name: Run SELint
+ run: |
+ # disable C-005 (Permissions in av rule or class declaration not ordered) for now: needs fixing
+ # disable W-005 (Interface call from module not in optional_policy block): refpolicy does not follow this rule
+ selint --source --recursive --summary --fail --disable C-005 --disable W-005 policy
build:
runs-on: ubuntu-latest