Adapt logos and heading #38
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
| on: | |
| push: | |
| branches: | |
| - main | |
| pull_request: | |
| branches: | |
| - main | |
| jobs: | |
| test_and_render: | |
| runs-on: ubuntu-latest | |
| container: | |
| image: ghcr.io/aai-institute/tfl-training-probabilistic-model-checking:main | |
| options: --user root | |
| credentials: | |
| username: ${{ github.actor }} | |
| password: ${{ secrets.GITHUB_TOKEN }} | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v2 | |
| with: | |
| fetch-depth: 0 | |
| lfs: true | |
| persist-credentials: false | |
| # lfs=true is not enough, see https://stackoverflow.com/questions/61463578/github-actions-actions-checkoutv2-lfs-true-flag-not-converting-pointers-to-act | |
| # config tweak is needed b/c of annoying bugs in actions/checkout, see https://github.com/actions/checkout/issues/766 | |
| - name: Pull LFS Objects | |
| run: | | |
| git config --global --add safe.directory "$GITHUB_WORKSPACE" | |
| git lfs pull | |
| - name: Install package | |
| run: pip install -e . | |
| - name: Run tests | |
| run: pytest | |
| # - name: Build docs | |
| # NOTE: feel free to delete the if-else and just keep the else line. It's simply a special case to make the | |
| # automatically generated thesan_output fully representative. In normal cases, the notebooks are rendered | |
| # locally and html is committed | |
| # run: | | |
| # if [ $(basename "$PWD") = "thesan_output" ]; then | |
| # bash build_scripts/build_docs.sh --execute | |
| # else | |
| # bash build_scripts/build_docs.sh --skip-nbconvert --skip-jupyter-book | |
| # fi | |
| - name: Prepare Pages | |
| if: github.ref == 'refs/heads/master' | |
| run: mv docs/_build/html/* public/ | |
| - name: Deploy Pages | |
| uses: JamesIves/[email protected] | |
| if: github.ref == 'refs/heads/master' | |
| with: | |
| GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
| BRANCH: gh-pages | |
| FOLDER: public | |
| TARGET_FOLDER: . | |
| CLEAN: true | |
| SINGLE_COMMIT: true |