runeclipse: Support multiple license servers (#718)
#2470
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: subscript | |
| on: | |
| push: | |
| branches: | |
| - main | |
| pull_request: | |
| branches: | |
| - main | |
| release: | |
| types: | |
| - published | |
| schedule: | |
| # Run nightly to check that tests are working with latest dependencies | |
| - cron: "0 0 * * *" | |
| env: | |
| MPLBACKEND: Agg | |
| jobs: | |
| subscript: | |
| runs-on: ubuntu-latest | |
| strategy: | |
| matrix: | |
| python-version: ["3.8", "3.9", "3.10", "3.11"] | |
| steps: | |
| - name: Checkout commit locally | |
| uses: actions/checkout@v4 | |
| with: | |
| fetch-depth: 0 | |
| - name: Set up Python ${{ matrix.python-version }} | |
| uses: actions/setup-python@v5 | |
| with: | |
| python-version: ${{ matrix.python-version }} | |
| - name: Install OPM-flow and ResInsight (for testing) | |
| run: | | |
| sudo apt-get install software-properties-common | |
| sudo apt-add-repository ppa:opm/ppa | |
| sudo apt-add-repository ppa:opm/testing | |
| sudo apt-get update | |
| sudo apt-get install mpi-default-bin | |
| sudo apt-get install libopm-simulators-bin | |
| sudo apt-get install resinsight | |
| - name: Install subscript with dependencies | |
| if: ${{ always() }} | |
| run: | | |
| pip install --upgrade pip | |
| pip install .[tests,docs] | |
| - name: Force correct RIPS version | |
| run: | | |
| ResInsight --console --help | grep "ResInsight v. 2021.06" \ | |
| && pip install rips==2021.6.0.1 || true | |
| ResInsight --console --help | grep "ResInsight v. 2020.10" \ | |
| && pip install rips==2020.10.0.2 || true | |
| - name: List all installed packages | |
| run: pip freeze | |
| - name: Format with ruff | |
| if: ${{ always() }} | |
| run: ruff format . --check | |
| - name: Lint with ruff | |
| if: ${{ always() }} | |
| run: ruff check . | |
| - name: Check typing with mypy | |
| if: ${{ always() }} | |
| run: mypy src/subscript | |
| - name: Run tests | |
| if: ${{ always() }} | |
| run: pytest -n auto tests | |
| - name: Syntax check documentation | |
| if: ${{ always() }} | |
| run: rstcheck -r docs | |
| - name: Build documentation | |
| if: ${{ always() }} | |
| run: sphinx-build -b html docs build/docs/html | |
| - name: Update GitHub pages | |
| if: github.repository_owner == 'equinor' && github.ref == 'refs/heads/main' && matrix.python-version == '3.8' | |
| run: | | |
| cp -R ./build/docs/html ../html | |
| git config --local user.email "subscript-github-action" | |
| git config --local user.name "subscript-github-action" | |
| git fetch origin gh-pages | |
| git checkout --track origin/gh-pages | |
| git clean -f -f -d -x # Double -f is intentional | |
| git rm -r * | |
| cp -R ../html/* . | |
| touch .nojekyll # If not, github pages ignores _* directories. | |
| git add . | |
| if git diff-index --quiet HEAD; then | |
| echo "No changes in documentation. Skip documentation deploy." | |
| else | |
| git commit -m "Update Github Pages" | |
| git push "https://${{ github.actor }}:${{ secrets.GITHUB_TOKEN }}@github.com/${{ github.repository }}.git" gh-pages | |
| fi |