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