From a082ba9daeb229ddbe2671fe78cf7544ead56df5 Mon Sep 17 00:00:00 2001
From: Dario Lombardo <lomato@gmail.com>
Date: Thu, 22 Sep 2022 16:23:36 +0200
Subject: [PATCH] github: update "options" workflow.

Ref: #18352.
---
 .github/workflows/options.yml | 4 ++--
 1 file 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