diff options
author | Kelvin M. Klann <kmk3.code@protonmail.com> | 2023-06-14 17:56:37 -0300 |
---|---|---|
committer | Kelvin M. Klann <kmk3.code@protonmail.com> | 2023-06-14 18:01:52 -0300 |
commit | 0585d78d117db0a0cd18e0476d50b063b99ba2ce (patch) | |
tree | 70c6c425c33e8fd2cb243680a85138f3a0cbc279 /.github/workflows/build-extra.yml | |
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 '.github/workflows/build-extra.yml')
0 files changed, 0 insertions, 0 deletions