tree 8d91a7aaf4f8d2e23fe29803631053f24383cd46
parent 6beca9d16ce4ad6403c00237ec9828df6e04d081
author Marc Kupietz <kupietz@ids-mannheim.de> 1627589624 +0200
committer Marc Kupietz <kupietz@ids-mannheim.de> 1627589624 +0200

Actually run GH workflows on different OS

Change-Id: Ib96a13ea388ec4e8dc46e5baddb874fe5aea161e