tree 3c4f12df292283e24fc32b1e95a88a41aa697709
parent 7912196f2895de67869ee45677ec384e466c785a
author Marc Kupietz <kupietz@ids-mannheim.de> 1583509795 +0100
committer Marc Kupietz <kupietz@ids-mannheim.de> 1583576835 +0100

gh-actions: run donttests in linux check

Change-Id: Ic546dfacb40428ed8c746d5236dec04938840a69