Skip to content

Created maximum wall time option (#620) #171

Created maximum wall time option (#620)

Created maximum wall time option (#620) #171

name: Website Deploy
on:
push:
branches:
- develop
jobs:
build:
runs-on: ubuntu-latest
strategy:
fail-fast: false
matrix:
python-version: ['3.10']
steps:
- uses: actions/checkout@v3
- name: Set up Python ${{ matrix.python-version }}
uses: actions/setup-python@v3
with:
python-version: ${{ matrix.python-version }}
- name: Upgrade pip
run: |
# install pip=>20.1 to use "pip cache dir"
python3 -m pip install --upgrade pip
- name: Get pip cache dir
id: pip-cache
run: echo "dir=$(pip cache dir)" >> $GITHUB_OUTPUT
- name: Cache dependencies
uses: actions/cache@v3
with:
path: ${{ steps.pip-cache.outputs.dir }}
key: ${{ runner.os }}-pip-${{ hashFiles('**/requirements.txt') }}
restore-keys: |
${{ runner.os }}-pip-
- name: Install dependencies
run: |
sudo apt-get update
sudo apt-get install gfortran swig libhdf5-serial-dev
pip install -r requirements.txt
pip install meson numpy
python -m pip install .
- name: Make dependencies
run: |
cd docs && make html; cd ../
touch docs/_build/html/.nojekyll
- name: Deploy to GitHub Pages
if: success()
uses: crazy-max/ghaction-github-pages@v3
with:
target_branch: gh-pages
build_dir: docs/_build/html/
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}