github: update "options" workflow.

Ref: #18352.
2022-09-22 16:23:36 +02:00 · 2022-09-22 16:23:36 +02:00 · a082ba9dae
parent 567b759ae2
commit a082ba9dae
1 changed files with 2 additions and 2 deletions
--- 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