Feature: Set health overrides #563

Merged

muellerr merged 7 commits from feature_set_health_overrides into develop

2023-04-04 18:52:07 +02:00

Author	SHA1	Message	Date
Robin Müller	106cb1ab35	Merge branch 'develop' into feature_set_health_overrides All checks were successful EIVE/eive-obsw/pipeline/pr-develop This commit looks good Details	2023-04-04 18:39:54 +02:00
Robin Mueller	3cc48a4cea	annoying All checks were successful EIVE/eive-obsw/pipeline/pr-develop This commit looks good Details	2023-04-04 18:21:30 +02:00
Robin Mueller	c4516f53b8	another include fix Some checks failed EIVE/eive-obsw/pipeline/pr-develop There was a failure building this commit Details	2023-04-04 17:57:07 +02:00
Robin Mueller	f39981deca	include fix Some checks failed EIVE/eive-obsw/pipeline/pr-develop There was a failure building this commit Details	2023-04-04 17:55:57 +02:00
Robin Mueller	fd8317acd7	Merge remote-tracking branch 'origin/develop' into feature_set_health_overrides Some checks failed EIVE/eive-obsw/pipeline/pr-develop There was a failure building this commit Details	2023-04-04 17:54:43 +02:00
Robin Mueller	ae0413f7f6	clean up code structure a bit Some checks failed EIVE/eive-obsw/pipeline/head Build started... Details EIVE/eive-obsw/pipeline/pr-develop There was a failure building this commit Details	2023-04-04 14:52:22 +02:00
Robin Mueller	01081cbb29	set health overrides All checks were successful EIVE/eive-obsw/pipeline/head This commit looks good Details	2023-04-04 14:45:09 +02:00