Jörg Thalheim 4681807395 Revert "temporary delete github actions" ... This reverts commit 256dbf698028f7c0fe2f7907cd3c4fcc3401af22. 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