You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: .github/workflows/publish-docs.yml
+8-7Lines changed: 8 additions & 7 deletions
Original file line number
Diff line number
Diff line change
@@ -5,7 +5,7 @@
5
5
6
6
name: Publish docs
7
7
8
-
# 2024-07-19: ubuntu-latest = ubuntu-22.04
8
+
# 2024-12-12: ubuntu-latest = ubuntu-22.04
9
9
# See https://docs.github.com/en/actions/using-github-hosted-runners/about-github-hosted-runners/about-github-hosted-runners#standard-github-hosted-runners-for-public-repositories
10
10
on:
11
11
# Runs on pushes targeting the default branch
@@ -21,18 +21,19 @@ permissions:
21
21
pages: write
22
22
id-token: write
23
23
24
-
# Allow one concurrent deployment
24
+
# Allow only one concurrent deployment, skipping runs queued between the run in-progress and latest queued.
25
+
# However, do NOT cancel in-progress runs as we want to allow these production deployments to complete.
25
26
concurrency:
26
27
group: "pages"
27
-
cancel-in-progress: true
28
+
cancel-in-progress: false
28
29
29
30
jobs:
30
31
# Build job
31
32
build:
32
33
runs-on: ubuntu-latest
33
34
steps:
34
35
- name: Checkout
35
-
uses: actions/checkout@v3
36
+
uses: actions/checkout@v4
36
37
- name: Build
37
38
run: |
38
39
# Prevent blocking apt install on a question during configuring of tzdata.
0 commit comments