Fix type annotations of logging.run_main and .run_cli #574
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 | |
| on: | |
| pull_request: | |
| branches: [develop] | |
| push: | |
| branches: [develop, master] | |
| workflow_dispatch: | |
| inputs: | |
| reason: | |
| description: Why did you trigger the pipeline? | |
| required: False | |
| default: Check if it runs again due to external changes | |
| jobs: | |
| build: | |
| runs-on: ubuntu-latest | |
| steps: | |
| # pandoc needed for docu, see https://nbsphinx.readthedocs.io/en/0.7.1/installation.html?highlight=pandoc#pandoc | |
| - name: Install Non-Python Packages | |
| run: sudo apt-get update -yq && sudo apt-get -yq install pandoc | |
| - uses: actions/checkout@v2.3.1 | |
| 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 | |
| - name: Checkout LFS Objects | |
| run: git lfs pull | |
| - name: Merge develop into current branch | |
| if: github.ref != 'refs/heads/develop' | |
| run: | | |
| git fetch origin develop:develop --update-head-ok | |
| git merge develop | |
| - name: Setup Python 3.7 | |
| uses: actions/setup-python@v1 | |
| with: | |
| python-version: "3.7" | |
| - name: Cache tox envs and pip packages | |
| uses: actions/cache@v2 | |
| with: | |
| path: | | |
| ~/.cache/pip | |
| .tox | |
| key: ${{runner.os}}-${{github.ref}}-${{hashFiles('requirements.txt', 'setup.py', 'tox.ini')}} | |
| - name: Install Tox and Python Packages | |
| run: pip install tox | |
| - name: Run Tox | |
| run: tox | |
| - name: Prepare Pages | |
| if: github.ref == 'refs/heads/develop' | |
| run: | | |
| mv docs/_build/html/* public/docs | |
| mv htmlcov/* public/coverage | |
| - name: Deploy Pages | |
| uses: JamesIves/github-pages-deploy-action@3.7.1 | |
| if: github.ref == 'refs/heads/develop' | |
| with: | |
| GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
| BRANCH: gh-pages | |
| FOLDER: public | |
| TARGET_FOLDER: . | |
| CLEAN: true | |
| SINGLE_COMMIT: true |