-
Jana Schor authoredUpdate github sync workflow, switch to docker, add gitlab CI for building docker container and push to registry
ce3c6709
Update github sync workflow, switch to docker, add gitlab CI for building docker container and push to registry