Skip to content

Commit a384b8f

Browse files
stephanosiothst-nordic
authored andcommitted
[nrf fromtree] ci: doc: Use Ubuntu 20.04 runner image
This commit updates the documentation build and publish workflows to use a specific runner image version, ubuntu-20.04, instead of the latest version in order to prevent any potential breakages due to the 'latest' version change by GitHub. Signed-off-by: Stephanos Ioannidis <[email protected]> (cherry picked from commit 18064425236cee67c6fb68617702c5862b945844) Signed-off-by: Thomas Stilwell <[email protected]>
1 parent 3ed6c8c commit a384b8f

File tree

3 files changed

+5
-4
lines changed

3 files changed

+5
-4
lines changed

.github/workflows/doc-build.yml

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -35,8 +35,9 @@ env:
3535
jobs:
3636
doc-build-html:
3737
name: "Documentation Build (HTML)"
38-
runs-on: ubuntu-latest
38+
runs-on: ubuntu-20.04
3939
timeout-minutes: 45
40+
4041
concurrency:
4142
group: doc-build-html-${{ github.ref }}
4243
cancel-in-progress: true
@@ -121,7 +122,7 @@ jobs:
121122

122123
doc-build-pdf:
123124
name: "Documentation Build (PDF)"
124-
runs-on: ubuntu-latest
125+
runs-on: ubuntu-20.04
125126
container: texlive/texlive:latest
126127
timeout-minutes: 45
127128
concurrency:

.github/workflows/doc-publish-pr.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,7 @@ on:
1313
jobs:
1414
doc-publish:
1515
name: Publish Documentation
16-
runs-on: ubuntu-latest
16+
runs-on: ubuntu-20.04
1717
if: |
1818
github.event.workflow_run.event == 'pull_request' &&
1919
github.event.workflow_run.conclusion == 'success' &&

.github/workflows/doc-publish.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -16,7 +16,7 @@ on:
1616
jobs:
1717
doc-publish:
1818
name: Publish Documentation
19-
runs-on: ubuntu-latest
19+
runs-on: ubuntu-20.04
2020
if: |
2121
github.event.workflow_run.event != 'pull_request' &&
2222
github.event.workflow_run.conclusion == 'success' &&

0 commit comments

Comments
 (0)