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