diff options
| author | Dario Lombardo <lomato@gmail.com> | 2022-09-22 16:23:36 +0200 |
|---|---|---|
| committer | A Wireshark GitLab Utility <gerald+gitlab-utility@wireshark.org> | 2022-09-26 13:49:48 +0000 |
| commit | a082ba9daeb229ddbe2671fe78cf7544ead56df5 (patch) | |
| tree | 2217bb5543c15ebdac0914c04500ddb99d007ae3 /.github | |
| parent | 567b759ae22811c27c7ae86a4ddcabc2332049de (diff) | |
github: update "options" workflow.
Ref: #18352.
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/options.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/workflows/options.yml b/.github/workflows/options.yml index ded845751c..103c6fd91d 100644 --- a/.github/workflows/options.yml +++ b/.github/workflows/options.yml @@ -8,13 +8,13 @@ on: jobs: options: name: Build - runs-on: ubuntu-latest + runs-on: ubuntu-22.04 steps: - name: Checkout uses: actions/checkout@v2 - name: Install deps run: | - sudo tools/debian-setup.sh --install-optional ninja-build -y + sudo tools/debian-setup.sh --install-all ninja-build -y sudo gem install asciidoctor - run: mkdir build - name: CMake |