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