diff --git a/Dockerfile b/Dockerfile new file mode 100644 index 0000000..7396c8c --- /dev/null +++ b/Dockerfile @@ -0,0 +1,7 @@ +# syntax=docker/dockerfile:1 + +FROM focs.ji.sjtu.edu.cn:5000/gitea/runner-images:ubuntu-latest + +# TODO: install joj3 & other binarys +# TODO: install joint-teapot +# TODO: install elf