tree 8183a309499e8f09fca20da41eb4c011127282f2
parent 2dca2edf76aea3942dada0b7c544bc6d96b2a046
author Marc Kupietz <kupietz@ids-mannheim.de> 1766577775 +0100
committer Marc Kupietz <kupietz@ids-mannheim.de> 1766577775 +0100

Fix Zenodo workflow: use production server not sandbox

Change-Id: I2bec624396bf9d1535795d7912b6bd9d1d5ae3bd