Skip to content

Commit

Permalink
Merge pull request #72 from violinyanev/update-doc-publish-job
Browse files Browse the repository at this point in the history
Switch jobs to newer versions
  • Loading branch information
violinyanev authored Dec 13, 2022
2 parents d24accf + bbde839 commit b2f32c3
Showing 1 changed file with 5 additions and 9 deletions.
14 changes: 5 additions & 9 deletions .github/workflows/update_docs.yml
Original file line number Diff line number Diff line change
Expand Up @@ -7,16 +7,12 @@ on:

jobs:
publish_docs:
runs-on: ubuntu-latest
runs-on: ubuntu-22.04

steps:
- uses: actions/checkout@v2

- name: Fetch submodules
run: |
auth_header="$(git config --local --get http.https://github.com/.extraheader)"
git submodule sync --recursive
git -c "http.extraheader=$auth_header" -c protocol.version=2 submodule update --init --recursive
- uses: actions/checkout@v3
with:
submodules: 'recursive'

- name: Create Build Environment
run: |
Expand All @@ -31,7 +27,7 @@ jobs:
cmake --build . --target doc
- name: Deploy to github pages
uses: JamesIves/github-pages-deploy-action@4.1.7
uses: JamesIves/github-pages-deploy-action@4.4.1
with:
branch: gh-pages
folder: ${{runner.workspace}}/build/doc/html

0 comments on commit b2f32c3

Please sign in to comment.