#!/bin/bash

docker run --rm --platform linux/amd64 --network host --user `id -u` --volume `pwd`:/data --workdir /data mattfredrikson/why3:s25 "$@"
