Skip to content

Commit d9e735f

Browse files
committed
ci: fix documentation command
1 parent f320026 commit d9e735f

1 file changed

Lines changed: 14 additions & 14 deletions

File tree

Lines changed: 14 additions & 14 deletions
Original file line numberDiff line numberDiff line change
@@ -1,45 +1,45 @@
11
---
2-
name: "Documentation"
2+
name: "Documentation v1"
33

44
on:
55
push:
66
branches:
7-
- "v1"
7+
- v1
88

99
workflow_call:
1010

1111
workflow_dispatch:
1212

1313
jobs:
1414
publish:
15-
name: "Publish temporary documentation for v1"
15+
name: "Publish documentation for v1"
1616

17-
runs-on: "ubuntu-latest"
17+
runs-on: ubuntu-latest
1818

1919
steps:
2020
- name: "Check out repository"
21-
uses: "actions/checkout@v3"
21+
uses: actions/checkout@v3
2222
with:
2323
ref: v1 # Checkout the v1 branch
2424
fetch-depth: 0 # Fetch all branches and tags
2525

2626
- name: "Build documentation with Antora"
27-
uses: "docker://ghcr.io/camptocamp/devops-stack-antora:v3.1.0"
27+
uses: docker://ghcr.io/camptocamp/devops-stack-antora:v3.1.0
2828
with:
29-
args: "make docs"
29+
args: generate antora-playbook.yml --to-dir public/docs
3030

3131
- name: "Upload generated artifact"
3232
# if: "github.event_name == 'pull_request'"
33-
uses: "actions/upload-artifact@v3"
33+
uses: actions/upload-artifact@v3
3434
with:
35-
name: "documentation"
36-
path: "${{ github.workspace }}/public/docs"
35+
name: documentation
36+
path: ${{ github.workspace }}/public/docs
3737

3838
- name: "Deploy documentation to GitHub Pages"
3939
# if: "(github.event_name == 'push' || github.event_name == 'workflow_dispatch') && github.ref_name == 'v1'"
40-
uses: "JamesIves/github-pages-deploy-action@v4.4.1"
40+
uses: JamesIves/github-pages-deploy-action@v4.4.1
4141
with:
42-
branch: "gh-pages"
43-
folder: "public/docs"
44-
target-folder: "docs-v1"
42+
branch: gh-pages
43+
folder: public/docs
44+
target-folder: docs-v1
4545
commit-message: "ci: publish documentation for ${{ github.sha }}"

0 commit comments

Comments
 (0)