Skip to content

Docker Image CI

Docker Image CI #44

Workflow file for this run

name: Docker Image CI
on:
push:
tags:
- '*'
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
with:
submodules: 'true'
- name: Build and push Docker images
uses: docker/build-push-action@v1.1.0
with:
username: ${{ secrets.DOCKER_USERNAME }}
password: ${{ secrets.DOCKER_PASSWORD }}
repository: chocoteam/choco-solver-mzn
dockerfile: parsers/src/main/minizinc/docker/Dockerfile_Choco.dms
tag_with_ref: true