C++/Python FEniCS/dolfinx@3604666f96e75c6495e0046fe856d160cc53a79e #536
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: Build and deploy website | |
on: | |
push: | |
branches: [main] | |
pull_request: | |
branches: [main] | |
jobs: | |
build: | |
if: github.ref != 'refs/heads/main' | |
runs-on: ubuntu-latest | |
steps: | |
- uses: actions/checkout@v4 | |
# Make index.html | |
- name: Set up Python | |
uses: actions/setup-python@v5 | |
with: | |
python-version: 3.11 | |
- name: Generate index.html | |
run: | | |
sudo apt update | |
sudo apt install -y ruby-bundler ruby-dev | |
python3 -m pip install -r requirements.txt | |
python3 make_index.py | |
- name: Mark old docs | |
run: python3 mark_old_docs.py | |
- name: Copy web files into _html folder | |
run: | | |
mkdir _html | |
cp -r index.html ufl basix ffcx dolfinx _html | |
- name: Upload build as artifact | |
uses: actions/upload-artifact@v4 | |
with: | |
name: website | |
path: _html | |
if-no-files-found: error | |
build-and-deploy: | |
if: github.ref == 'refs/heads/main' | |
runs-on: ubuntu-latest | |
permissions: | |
contents: read | |
pages: write | |
id-token: write | |
steps: | |
- uses: actions/checkout@v4 | |
# Make index.html | |
- name: Set up Python | |
uses: actions/setup-python@v5 | |
with: | |
python-version: 3.11 | |
- name: Generate index.html | |
run: | | |
sudo apt update | |
sudo apt install -y ruby-bundler ruby-dev | |
python3 -m pip install -r requirements.txt | |
python3 make_index.py | |
- name: Mark old docs | |
run: python3 mark_old_docs.py | |
- name: Copy web files into _html folder | |
run: | | |
mkdir _html | |
cp -r index.html ufl basix ffcx dolfinx _html | |
# Deploy to GitHub Pages | |
- name: Setup Pages | |
uses: actions/configure-pages@v4 | |
- name: Upload artifact | |
uses: actions/upload-pages-artifact@v3 | |
with: | |
path: '_html' | |
- name: Deploy to GitHub Pages | |
id: deployment | |
uses: actions/deploy-pages@v4 |