tree d4e25c8c2e8815541327e15558f0aa9c4224b236
parent 105913d26f2c1fcf9fdf00a2c125d6f5d1f2620e
author Marc Kupietz <kupietz@ids-mannheim.de> 1715284412 +0200
committer Marc Kupietz <kupietz@ids-mannheim.de> 1715284412 +0200

CI: try to make manual jobs not block PRs