EoD 15081d3320 ci: run build also on pull requests		2025-04-24 00:00:01 +02:00
..
workflows	ci: run build also on pull requests	2025-04-24 00:00:01 +02:00