Skip to content

Commit bc0747f

Browse files
committed
Update
1 parent 229bab9 commit bc0747f

File tree

1 file changed

+8
-10
lines changed

1 file changed

+8
-10
lines changed

.github/workflows/docs.yml

Lines changed: 8 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -14,42 +14,40 @@ permissions:
1414
id-token: write
1515
pull-requests: write
1616

17+
concurrency:
18+
group: "pages"
19+
cancel-in-progress: false
20+
1721
jobs:
1822
build-deploy-docs:
1923
runs-on: ubuntu-latest
2024
environment:
2125
name: github-pages
2226
url: ${{ steps.deployment.outputs.page_url }}
2327
steps:
24-
- uses: actions/checkout@v4
25-
28+
- name: Checkout
29+
uses: actions/checkout@v4
2630
- name: Setup Rust
2731
run: |
2832
rustup toolchain install nightly
2933
rustup override set nightly
30-
3134
- name: Build static files (documentation)
3235
run: |
3336
RUSTDOCFLAGS="--html-in-header ./arbi/doc/header.html --cfg docsrs" cargo +nightly doc --no-deps --all-features
34-
3537
- name: Prepare PR-specific path
3638
if: github.event_name == 'pull_request'
3739
run: |
3840
mkdir -p "pr-${{ github.event.number }}"
3941
mv target/doc "pr-${{ github.event.number }}/doc"
40-
4142
- name: Setup Pages
42-
uses: actions/configure-pages@v4
43-
44-
- name: Upload static files as artifact
43+
uses: actions/configure-pages@v5
44+
- name: Upload artifact
4545
uses: actions/upload-pages-artifact@v3
4646
with:
4747
path: '.'
48-
4948
- name: Deploy to GitHub Pages
5049
id: deployment
5150
uses: actions/deploy-pages@v4
52-
5351
- name: Comment on PR - documentation preview link
5452
uses: actions/github-script@v7
5553
if: github.event_name == 'pull_request'

0 commit comments

Comments
 (0)