Skip to content

Dilate: merging headers (#101) #37

Dilate: merging headers (#101)

Dilate: merging headers (#101) #37

Workflow file for this run

name: gh-pages
on:
push:
branches:
- main
release:
types: [released]
jobs:
publish:
runs-on: ubuntu-latest
defaults:
run:
shell: bash -l {0}
steps:
- name: Basic GitHub action setup
uses: actions/checkout@v3
with:
fetch-depth: 0
- name: Set conda environment
uses: mamba-org/provision-with-micromamba@main
with:
environment-file: environment.yaml
environment-name: myenv
- name: Configure using CMake
run: cmake -Bbuild -DBUILD_DOCS=1
- name: Build the docs
working-directory: build
run: make html
- name: Deploy to GitHub Pages
if: success()
uses: crazy-max/ghaction-github-pages@v2
with:
target_branch: gh-pages
build_dir: build/html
jekyll: false
keep_history: false
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}