diff .gitlab-ci.yml @ 6560:abbba073aa88

topic: check for devel.randomseed existence correctly Judging by the block of code above this patch, we want to check for presence of the same config option as we then add. So in this case, it would be devel.randomseed, and not just devel.random. I couldn't find any mention of devel.random in evolve, topic or core, which makes me think it was just a typo.
author Anton Shestakov <av6@dwimlabs.net>
date Fri, 29 Sep 2023 16:36:32 -0300
parents 89f78b4288e9
children acdeec2dc732 c92d2c61dec8 75c048fdcd09
line wrap: on
line diff