tree fc61db5ec05658861b7a0532ae080274efe21be6
parent bfba11466f572a9c36da909a86335193424c351f
author Marc Kupietz <kupietz@ids-mannheim.de> 1763994381 +0100
committer Marc Kupietz <kupietz@ids-mannheim.de> 1764144507 +0100

CI: fix local docker build

Change-Id: Ibe0f48d3a6a604854a1282b9b0267ba96b3fc255