You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
47 lines
1.6 KiB
47 lines
1.6 KiB
name: Doxygen
|
|
# Builds and deploys storms doxygen documentation
|
|
|
|
on:
|
|
# needed to trigger the workflow manually
|
|
workflow_dispatch:
|
|
|
|
env:
|
|
BASE_IMG: "movesrwth/carl:ci-release"
|
|
STORM_GIT_URL: "${{ github.server_url }}/${{ github.repository }}.git"
|
|
STORM_BRANCH: "master"
|
|
# github runners currently have two cores
|
|
NR_JOBS: "2"
|
|
|
|
|
|
jobs:
|
|
|
|
deploy:
|
|
runs-on: ubuntu-latest
|
|
steps:
|
|
- name: Init Docker
|
|
run: sudo docker run -d -it --name storm --privileged ${BASE_IMG}
|
|
|
|
# We should not do partial updates :/
|
|
# but we need to install some dependencies
|
|
# Surely we can find a better way to do this at some point
|
|
- name: Update base system
|
|
run: |
|
|
sudo docker exec storm apt-get update
|
|
sudo docker exec storm apt-get upgrade -qqy
|
|
- name: install dependencies
|
|
run: sudo docker exec storm apt-get install -qq -y doxygen graphviz
|
|
- name: Git clone storm
|
|
run: sudo docker exec storm git clone --depth 1 --branch $STORM_BRANCH $STORM_GIT_URL /opt/storm
|
|
- name: Run cmake
|
|
run: sudo docker exec storm bash -c "mkdir /opt/storm/build; cd /opt/storm/build; cmake .."
|
|
- name: Build doxygen
|
|
run: sudo docker exec storm bash -c "cd /opt/storm/build; make doc -j ${NR_JOBS}"
|
|
- name: Copy doxygen
|
|
run: sudo docker cp storm:/opt/storm/build/doc/html .
|
|
- name: Deploy doxygen
|
|
uses: peaceiris/actions-gh-pages@v3
|
|
with:
|
|
deploy_key: ${{ secrets.DOC_DEPLOY_KEY }}
|
|
publish_dir: ./html
|
|
external_repository: moves-rwth/storm-doc
|
|
publish_branch: master
|