tree fb37858c1ad1eada679796be1ac412dfc70bc23c
parent e4b0811723ad728f854027277aa08ea16e2e5a2f
parent dc3119537f0973c3ec584d23cf9145cd6a562ccb
author Marc Kupietz <kupietz@ids-mannheim.de> 1596193891 +0200
committer Gerrit Code Review <gerrit2@korap.ids-mannheim.de> 1596193891 +0200

Merge "gh-actions: use generic ubuntu-latest"