diff options
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/check-toc.yml | 5 | ||||
| -rw-r--r-- | .github/workflows/regenerate-toc.yml | 5 |
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: | |
