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
EIVE/eive-obsw/pipeline/head Build queued... Details
EIVE/eive-obsw/pipeline/pr-main This commit looks good Details
9cd38a33d4
minor tweaks to fix main build
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.