#!/bin/bash

docker image rm verif_runner
docker build -t verif_runner:latest .