Update GitHub actions

This commit is contained in:
Crayon2000 2022-05-27 01:13:44 -04:00
parent 2c9b6345a3
commit 1db5f3fb67
2 changed files with 4 additions and 4 deletions

View file

@ -13,7 +13,7 @@ jobs:
steps: steps:
- name: Checkout the Git repository - name: Checkout the Git repository
uses: actions/checkout@v2 uses: actions/checkout@v3
- name: Build library and examples - name: Build library and examples
run: | run: |

View file

@ -9,12 +9,12 @@ jobs:
doc: doc:
name: Deploy documentation name: Deploy documentation
runs-on: ubuntu-20.04 runs-on: ubuntu-22.04
steps: steps:
- name: Checkout the Git repository - name: Checkout the Git repository
uses: actions/checkout@v2 uses: actions/checkout@v3
- name: Install doxygen - name: Install doxygen
run: | run: |
@ -29,7 +29,7 @@ jobs:
mv latex/refman.pdf html/PDF-documentation.pdf mv latex/refman.pdf html/PDF-documentation.pdf
- name: Deploy to GitHub Pages - name: Deploy to GitHub Pages
uses: JamesIves/github-pages-deploy-action@4.1.7 uses: JamesIves/github-pages-deploy-action@v4.3.3
with: with:
branch: gh-pages branch: gh-pages
folder: html folder: html