Provide `GITHUB_TOKEN` for coverage reports
Provide `GITHUB_TOKEN` for coverage reports

hpi-swa/filetreeCI,fniephaus/filetreeCI,hpi-swa/filetreeCI,fniephaus/filetreeCI,fniephaus/filetreeCI,hpi-swa/smalltalkCI,hpi-swa/smalltalkCI,hpi-swa/filetreeCI