Chris Kruining 639ac1927a Update infra.yml ... I'm dumb, of cource you don't deploy infra in PR's...		2024-11-14 18:59:37 +01:00
..
workflows	Update infra.yml	2024-11-14 18:59:37 +01:00