Philipp Winter 1b540a56e5 Only run the build for pull requests. ... No need to run it for every single push.		2024-03-10 15:09:33 -05:00
..
workflows	Only run the build for pull requests.	2024-03-10 15:09:33 -05:00