diff options
author | Dario Lombardo <lomato@gmail.com> | 2021-10-20 14:26:27 +0200 |
---|---|---|
committer | Wireshark GitLab Utility <gerald+gitlab-utility@wireshark.org> | 2021-10-20 19:45:34 +0000 |
commit | c734201e7093f09cca93af38120fe171260f22a5 (patch) | |
tree | 8ad21a4fb1625096751e91a23c591958c3eb4169 | |
parent | 44bd3a7d7923030be65bb5089c2cfdd1ab2290f1 (diff) |
github: update no-options workflow.
-rw-r--r-- | .github/workflows/options.yml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/.github/workflows/options.yml b/.github/workflows/options.yml index 1a5e65e82a..ded845751c 100644 --- a/.github/workflows/options.yml +++ b/.github/workflows/options.yml @@ -13,7 +13,9 @@ jobs: - name: Checkout uses: actions/checkout@v2 - name: Install deps - run: sudo tools/debian-setup.sh ninja-build -y + run: | + sudo tools/debian-setup.sh --install-optional ninja-build -y + sudo gem install asciidoctor - run: mkdir build - name: CMake run: >- |