diff options
Diffstat (limited to '.github/workflows/docs.yaml')
| -rw-r--r-- | .github/workflows/docs.yaml | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml index fef8a611..23853ba3 100644 --- a/.github/workflows/docs.yaml +++ b/.github/workflows/docs.yaml @@ -11,11 +11,10 @@ on: - main paths: - 'doc/oper-guide/**' - + jobs: build: - runs-on: ubuntu-18.04 - + runs-on: ubuntu-24.04 steps: - name: Install dependencies run: | @@ -24,6 +23,9 @@ jobs: python-sphinx \ texinfo \ # EOF - - uses: actions/checkout@v2 - - name: Build + - uses: actions/checkout@v4 + with: + persist-credentials: false + submodules: recursive + - name: Build Oper Guide run: make -C doc/oper-guide html man info |