Skip to content
Shell check

Adapt run_in_docker.sh script to Github workflows #5

Sign in to view logs

Adapt run_in_docker.sh script to Github workflows

Adapt run_in_docker.sh script to Github workflows #5

The logs for this run have expired and are no longer available.