diff options
| author |  Reiner Herrmann <reiner@reiner-h.de> | 2020-10-01 18:49:47 +0200 |
|---|---|---|
| committer | Reiner Herrmann <reiner@reiner-h.de> | 2020-10-01 18:49:47 +0200 |
| commit | 83371733dd8f9c75f124395ee66ec3d58739ff05 (patch) | |
| tree | 9e4529f69a9726ca6f261782fdb83e1de075fee0 /.github/workflows | |
| 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/workflows')
0 files changed, 0 insertions, 0 deletions