Oliver Klee de5c407c1a [BUGFIX] Fix CI builds for PRs from forks (#360) ... It has turned out that having builds only for pushes (but not pull requests) is not enough for triggering builds for PRs from forks. So we will need to live with pushes to non-PR branches other than main not triggering a build, and having to create a dummy draft PR for testing the CI build. This reverts commit d1f02afe79. Fixes #359		2022-01-03 01:54:00 +01:00
..
workflows	[BUGFIX] Fix CI builds for PRs from forks (#360)	2022-01-03 01:54:00 +01:00