Note that we are not adding a docker build GitHub/GitTea action due to the extreme resource requirements of the build