diff options
author | 2023-06-14 17:56:37 -0300 | |
---|---|---|
committer | 2023-06-14 18:01:52 -0300 | |
commit | 0585d78d117db0a0cd18e0476d50b063b99ba2ce (patch) | |
tree | 70c6c425c33e8fd2cb243680a85138f3a0cbc279 /src/fsec-print | |
parent | ci: print config.log if configure fails (diff) | |
download | firejail-0585d78d117db0a0cd18e0476d50b063b99ba2ce.tar.gz firejail-0585d78d117db0a0cd18e0476d50b063b99ba2ce.tar.zst firejail-0585d78d117db0a0cd18e0476d50b063b99ba2ce.zip |
ci: remove commented profile checks from build jobs
There already exists a workflow dedicated to profile checks:
* .github/workflows/profile-checks.yml.
Keep the build and lint jobs separate to make it easier to spot build vs
lint failures in CI.
See also commit c3b42dbd2 ("ci: disable sort.py on gitlab jobs as well",
2023-04-10).
Diffstat (limited to 'src/fsec-print')
0 files changed, 0 insertions, 0 deletions