tree 5c2c0fe0d3947ddc7d82f6c4b34bedaeb26b7f39
parent 70e5a977302e5ce90c94488b7da0d55894dea3ec
author Tim Windelschmidt <tim@monogon.tech> 1733781151 +0100
committer Tim Windelschmidt <tim@monogon.tech> 1734959489 +0000

metropolis/test/launch: fix data race

Change-Id: Id427d73cf32ff06a074fce5903d66050dd9e28cb
Reviewed-on: https://review.monogon.dev/c/monogon/+/3688
Reviewed-by: Lorenz Brun <lorenz@monogon.tech>
Tested-by: Jenkins CI