diff options
author | 2020-10-01 18:49:47 +0200 | |
---|---|---|
committer | 2020-10-01 18:49:47 +0200 | |
commit | 83371733dd8f9c75f124395ee66ec3d58739ff05 (patch) | |
tree | 9e4529f69a9726ca6f261782fdb83e1de075fee0 /.github | |
parent | some cleanup for the previous commit (#3530) (diff) | |
download | firejail-83371733dd8f9c75f124395ee66ec3d58739ff05.tar.gz firejail-83371733dd8f9c75f124395ee66ec3d58739ff05.tar.zst firejail-83371733dd8f9c75f124395ee66ec3d58739ff05.zip |
build: check building with static analyzer in CI
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions