minor tweaks to fix main build #673

Merged
muellerr merged 1 commits from minor-tweaks into main 2023-06-09 18:32:40 +02:00
Owner

Fix EM build and add a useful printout.

Fix EM build and add a useful printout.
muellerr added 1 commit 2023-06-09 17:16:31 +02:00
minor tweaks to fix main build
Some checks are pending
EIVE/eive-obsw/pipeline/head Build queued...
EIVE/eive-obsw/pipeline/pr-main This commit looks good
9cd38a33d4
muellerr requested review from meggert 2023-06-09 17:17:01 +02:00
meggert approved these changes 2023-06-09 18:13:39 +02:00
muellerr merged commit 020daf9a77 into main 2023-06-09 18:32:40 +02:00
muellerr deleted branch minor-tweaks 2023-06-09 18:32:41 +02:00
Sign in to join this conversation.
No description provided.