Merge pull request 'Slim down the weight of packages we ship' (#7) from Dockerfile-redo into main
#88 -Commit
98a9cad7f4
push feito por
kio
Merge pull request 'build docker' (#5) from docker-ci into main
#44 -Commit
589322fe6d
push feito por
kio
Merge pull request 'Add Dockerfile' (#4) from add-dockerfile into main
#42 -Commit
c0467ccfd0
push feito por
kio