build Paynt wrt. vanilla Stormpy #63
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 Test | |
| # Builds and tests paynt and deploys images to Dockerhub | |
| on: | |
| push: | |
| branches: | |
| - master | |
| schedule: | |
| # run weekly | |
| - cron: '0 10 * * 3' | |
| # needed to trigger the workflow manually | |
| workflow_dispatch: | |
| pull_request: | |
| env: | |
| GIT_URL: "${{ github.server_url }}/${{ github.repository }}.git" | |
| BRANCH: "${{ github.ref }}" | |
| # GitHub runners currently have two cores | |
| NR_JOBS: "2" | |
| jobs: | |
| deploy: | |
| name: Deploy on latest (${{ matrix.buildType.name }}) | |
| runs-on: ubuntu-latest | |
| strategy: | |
| matrix: | |
| buildType: | |
| - {name: "Release", imageName : "randriu/paynt", dockerTag: "latest", setupArgs: ""} | |
| fail-fast: false | |
| steps: | |
| - name: Git clone | |
| uses: actions/checkout@v4 | |
| - name: Build stormpy from Dockerfile | |
| run: docker build -t ${{ matrix.buildType.imageName }}:${{ matrix.buildType.dockerTag }} . --build-arg setup_args=${{ matrix.buildType.setupArgs }} --build-arg setup_args_pycarl=${{ matrix.buildType.setupArgs }} --build-arg no_threads=${NR_JOBS} | |
| - name: Build image for learner | |
| run: docker build -t ${{ matrix.buildType.imageName }}-learner:${{ matrix.buildType.dockerTag }} . -f paynt-learner.dockerfile --build-arg paynt_base=${{ matrix.buildType.imageName }}:${{ matrix.buildType.dockerTag }} | |
| - name: Login into docker | |
| # Only login if using master on original repo (and not for pull requests or forks) | |
| if: github.repository_owner == 'randriu' && github.ref == 'refs/heads/master' | |
| run: echo '${{ secrets.STORMPY_CI_DOCKER_PASSWORD }}' | docker login -u randriu --password-stdin | |
| - name: Deploy paynt | |
| # Only deploy if using master on original repo (and not for pull requests or forks) | |
| if: github.repository_owner == 'randriu' && github.ref == 'refs/heads/master' | |
| run: docker push ${{ matrix.buildType.imageName }}:${{ matrix.buildType.dockerTag }} | |
| - name: Deploy paynt with learner dependencies | |
| # Only deploy if using master on original repo (and not for pull requests or forks) | |
| if: github.repository_owner == 'randriu' && github.ref == 'refs/heads/master' | |
| run: docker push ${{ matrix.buildType.imageName }}-learner:${{ matrix.buildType.dockerTag }} |