summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--.github/workflows/check-toc.yml5
-rw-r--r--.github/workflows/regenerate-toc.yml5
2 files changed, 10 insertions, 0 deletions
diff --git a/.github/workflows/check-toc.yml b/.github/workflows/check-toc.yml
index 2b478cb63..71916ac81 100644
--- a/.github/workflows/check-toc.yml
+++ b/.github/workflows/check-toc.yml
@@ -10,4 +10,9 @@ jobs:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
+ - name: Install Mono
+ run: |
+ sudo apt-get update
+ sudo apt-get install -y mono-complete
+
- run: ./docs/build_toc.sh --check-only
diff --git a/.github/workflows/regenerate-toc.yml b/.github/workflows/regenerate-toc.yml
index 973bbcf95..0573f21fd 100644
--- a/.github/workflows/regenerate-toc.yml
+++ b/.github/workflows/regenerate-toc.yml
@@ -22,6 +22,11 @@ jobs:
ref: ${{ github.event.client_payload.pull_request.base.ref }}
path: target-branch
+ - name: Install Mono
+ run: |
+ sudo apt-get update
+ sudo apt-get install -y mono-complete
+
- name: Regenerate Table of Contents
id: regen
run: |