Avoid zero-division under uniaxial compression #572
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
name: GitHub Pages | |
on: # Always attempt html build on push & PR, but only deploy when there is a new tag. | |
push: | |
branches: | |
- main | |
tags: | |
- v* | |
pull_request: | |
branches: | |
- main | |
workflow_dispatch: # Allows to manually trigger the job from the web UI. | |
jobs: | |
build: | |
name: Build documentation (and deploy for git tag) | |
runs-on: ubuntu-latest | |
permissions: | |
contents: write | |
concurrency: | |
group: ${{ github.workflow }}-${{ github.ref }} | |
steps: | |
- name: Checkout repository | |
uses: actions/checkout@v4 | |
- name: Setup Python | |
uses: actions/setup-python@v5 | |
with: | |
python-version: '3.12' | |
- name: Build | |
run: | | |
sudo apt-get update | |
sudo apt-get install -y python3-pip | |
python3 -m pip install --upgrade pip | |
python3 -m venv .venv-gh-pages | |
source .venv-gh-pages/bin/activate | |
python3 -m pip install "$PWD"[doc,test] | |
make html | |
- name: Deploy | |
uses: peaceiris/actions-gh-pages@v4 | |
if: ${{ startsWith(github.ref, 'refs/tags/') }} | |
with: | |
github_token: ${{ secrets.GITHUB_TOKEN }} | |
publish_dir: ./html |