diff options
author | Mohammed Hawari <mohammed@hawari.fr> | 2023-02-02 13:29:28 +0100 |
---|---|---|
committer | Damjan Marion <dmarion@0xa5.net> | 2023-02-08 10:13:51 +0000 |
commit | 9db6db065a78003d5105a660d3e8ddf0cf889d16 (patch) | |
tree | 9f05c8f3c82ae71c11d99f8a8341f7cfc47c0080 /.github/workflows | |
parent | 11d9d02459ee3ac6ae402dd565aabbdfeea2c4fb (diff) |
build: allow skipping external-deps
Change-Id: I0e5090ec6978af0dc4baecc7654918cf40663f42
Signed-off-by: Mohammed Hawari <mohammed@hawari.fr>
Type: feature
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions