Eugen Wissner ce5fa260f4 Build only after pushing to a branch		2024-07-26 09:30:38 +02:00
..
workflows	Build only after pushing to a branch	2024-07-26 09:30:38 +02:00
deploy.awk	Build only after pushing to a branch	2024-07-26 09:30:38 +02:00