Build and deploy Docker image

remove now unnecessary helpers #40

Sign in to view logs

Triggered via push October 13, 2023 13:37

just-max

multi-file-grading

Status Success

Total duration 4m 8s

Artifacts –

docker.yml

on: push

build-deploy-docker