Moritz 'e1mo' Fromm b8f968dc23 Rework diff-hosts ... Now it'll detect wether there are changes to a hosts closure at all, lists build failures as such and is able to handle newly added or removed hosts.		2023-08-05 14:35:46 +02:00
..
scripts	Rework diff-hosts	2023-08-05 14:35:46 +02:00
workflows	Rework diff-hosts	2023-08-05 14:35:46 +02:00