Make CI more efficient/ less resource consuming
To make our CI processes less resource intense, we need to look into
- stop any running jobs if we push an update to the same branch, as we always want to build the latest commit (https://docs.gitlab.com/ee/ci/yaml/#interruptible)
- only run builds if we make changes to the scripts, but not if we make changes to arbitrary files (e.g. documentation)