Fabian Mastenbroek d4cba085b7 Add workflow for building release pull requests ... This change adds a Github Actions workflow to build pull requests from the same repository to test whether they can be merged and released.		2020-09-18 13:07:30 +02:00
..
workflows	Add workflow for building release pull requests	2020-09-18 13:07:30 +02:00