Merge requests from forks can't be merged as they are not built by Jenkins
See https://gitlab.eclipse.org/eclipse/escet/escet/-/issues/304#note_1021607 and https://gitlab.eclipse.org/eclipse/escet/escet/-/issues/304#note_1021611.
issue
Copyright © Eclipse Foundation AISBL. All rights reserved. Privacy Policy | Terms of Use | Copyright Agent