HK level is a CLI argument now #214

Merged

meggert merged 2 commits from hk-level-as-cli-arg into main

2023-07-11 09:21:39 +02:00

Author	SHA1	Message	Date
Robin Müller	2fae5613ce	fix EIVE/-/pipeline/pr-main This commit looks good Details	2023-07-10 16:09:42 +02:00
Robin Müller	fdb14cbdc5	HK level is a CLI argument now EIVE/-/pipeline/head There was a failure building this commit Details	2023-07-10 16:07:01 +02:00