Add GitHub action to test PR on coredev.#3540

Draft

mauritsvanrees wants to merge 1 commit intomasterfrom test-coredev

+10

Commits on Jun 9, 2022

Add GitHub action to test PR on coredev.

mauritsvanrees
authored and
petschki
committed