Jörg Thalheim 4681807395 Revert "temporary delete github actions" ... This reverts commit 256dbf6980. This did not solve the github action failures		2020-07-31 17:34:37 +01:00
..
editorconfig.yml	Revert "temporary delete github actions"	2020-07-31 17:34:37 +01:00
wait-ofborg.yml	Revert "temporary delete github actions"	2020-07-31 17:34:37 +01:00