Skip to content

Commit

Permalink
CI: Trying to call odig right
Browse files Browse the repository at this point in the history
Signed-off-by: Kakadu <[email protected]>
  • Loading branch information
Kakadu committed Jul 25, 2024
1 parent 260e713 commit 7382ec2
Showing 1 changed file with 6 additions and 4 deletions.
10 changes: 6 additions & 4 deletions .github/workflows/master_docker.yml
Original file line number Diff line number Diff line change
Expand Up @@ -37,7 +37,9 @@ jobs:
# access_token: ${{ github.token }}

- name: Checkout code
uses: actions/checkout@v3
uses: actions/checkout@v4
with:
fetch-depth: 2

# By some reason depext doesn't install it for conf-autoconf
- run: |
Expand Down Expand Up @@ -80,7 +82,7 @@ jobs:
- name: Deploy linters' descriptions
if: github.event_name != 'pull_request'
uses: peaceiris/actions-gh-pages@v3
uses: peaceiris/actions-gh-pages@v4
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: _build/_lintinfo
Expand All @@ -91,7 +93,7 @@ jobs:
if: github.event_name != 'pull_request'
run: |
opam exec -- make install odig
echo "ODIG_DOC_LOC=$(odig cache path)/html" >> $GITHUB_ENV
echo "ODIG_DOC_LOC=$(opam exec -- odig cache path)/html" >> $GITHUB_ENV
#opam exec -- gh-pages-amend $(odig cache path)/html doc

- name: Test
Expand All @@ -100,7 +102,7 @@ jobs:

- name: Deploy API documentation
if: github.event_name != 'pull_request'
uses: peaceiris/actions-gh-pages@v3
uses: peaceiris/actions-gh-pages@v4
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ${{ env.ODIG_DOC_LOC }}
Expand Down

0 comments on commit 7382ec2

Please sign in to comment.