tree d401b36900f6bff7b56a8846c0a529ab58c12065
parent f9a703b76a07ddd49937decabc85d5c7a991d237
author Marc Kupietz <kupietz@ids-mannheim.de> 1715284554 +0200
committer Marc Kupietz <kupietz@ids-mannheim.de> 1715284554 +0200

CI: fix index and deploy condition