add don't care action for MDP DT synthesis #212
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 paynt image 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: 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 image | |
| # 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 }} | |
| # deploy-learning: | |
| # name: Deploy on latest with learning dependencies (${{ matrix.buildType.name }}) | |
| # runs-on: ubuntu-latestx | |
| # strategy: | |
| # matrix: | |
| # buildType: | |
| # - {name: "Release", imageName : "randriu/paynt", dockerTag: "latest", setupArgs: ""} | |
| # fail-fast: false | |
| # steps: | |
| # - name: Git clone | |
| # uses: actions/checkout@v4 | |
| # - name: Build paynt image 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 paynt image with learner dependencies | |
| # 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 image 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 }} |