Skip to content

Merge branch 'f/adjust_path_dresden_capsule' into 'main' #187

Merge branch 'f/adjust_path_dresden_capsule' into 'main'

Merge branch 'f/adjust_path_dresden_capsule' into 'main' #187

##
## Copyright (c) 2022 Hannah contributors.
##
## This file is part of hannah.
## See https://atreus.informatik.uni-tuebingen.de/ties/ai/hannah/hannah for further info.
##
## Licensed under the Apache License, Version 2.0 (the "License");
## you may not use this file except in compliance with the License.
## You may obtain a copy of the License at
##
## http://www.apache.org/licenses/LICENSE-2.0
##
## Unless required by applicable law or agreed to in writing, software
## distributed under the License is distributed on an "AS IS" BASIS,
## WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
## See the License for the specific language governing permissions and
## limitations under the License.
##
name: Build and Deploy Documentation
on:
push:
branches:
- main
permissions:
contents: write
jobs:
build-and-deploy:
runs-on: ubuntu-latest
steps:
- name: Checkout 🛎️
uses: actions/checkout@main
with:
submodules: recursive
- name: Install Dependencies 🔧
run: pip install --upgrade pydoc-markdown mkdocs pymdown-extensions
- name: Build 🔧
run: pydoc-markdown --build --site-dir _build
- name: Deploy 🚀
uses: JamesIves/github-pages-deploy-action@v4
with:
folder: build/docs/_build