tree 8270859c52a167510d3d2427c014d6ea57ffafef
parent 54ab7e5da863a8cdd646637e80937548ce8fd213
author Marc Kupietz <kupietz@ids-mannheim.de> 1715283253 +0200
committer Marc Kupietz <kupietz@ids-mannheim.de> 1715283253 +0200

CI: skip index build and deploy jobs on merge requests