With #138 we added a new env variable (GITHUB_TOKEN) to the build scripts.
Github actions for daily docker push and CI build on main are broken, because the GITHUB_TOKEN is not set in those actions.
Also, we can use only this temporary GITHUB_TOKEN provided by Github for all actions, and remove the token stored in the ci_build environment.
RCA
With #138 we added a new env variable (GITHUB_TOKEN) to the build scripts. Github actions for daily docker push and CI build on main are broken, because the GITHUB_TOKEN is not set in those actions.
Also, we can use only this temporary GITHUB_TOKEN provided by Github for all actions, and remove the token stored in the ci_build environment.