ci: install asciidoc in deploy workflow before building HTML docs

[Copilot]

The deploy GitHub Actions job was failing because asciidoc is not pre-installed on ubuntu-latest runners, causing make -C Documentation html to error out immediately.

Changes

• .github/workflows/static.yml: Added an Install asciidoc step using apt-get prior to the HTML documentation build step

- name: Install asciidoc
  run: sudo apt-get update -q && sudo apt-get install -y asciidoc
- name: Build HTML documentation
  run: make -C Documentation html

[Copilot]

Copilot wasn't able to review any files in this pull request.

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

[Copilot]

Pull request overview

Copilot reviewed 1 out of 1 changed files in this pull request and generated no new comments.

Suppressed comments (1)

.github/workflows/static.yml:37

• ci/install-dependencies.sh already installs the documentation toolchain (including asciidoc) when jobname=Documentation (see ci/install-dependencies.sh:166-172). Adding a separate apt-get install step duplicates dependency management and may drift/miss other doc prerequisites. Prefer setting jobname for the existing dependency step and removing this extra install step.

      - name: Install dependencies
        run: ci/install-dependencies.sh
      - name: Install asciidoc
        run: sudo apt-get update -q && sudo apt-get install -y asciidoc