New UIO file names #309

Merged
muellerr merged 4 commits from mueller/uio-updates into develop 2022-10-27 08:53:22 +02:00
Owner
  • Use new uio symlinks
- Use new uio symlinks
muellerr added 1 commit 2022-10-25 19:12:50 +02:00
added two todos and new uio file names
All checks were successful
EIVE/eive-obsw/pipeline/head This commit looks good
EIVE/eive-obsw/pipeline/pr-develop This commit looks good
4a8096998d
muellerr requested review from meierj 2022-10-25 19:12:58 +02:00
muellerr added this to the v1.15.0 milestone 2022-10-25 19:13:01 +02:00
muellerr added 1 commit 2022-10-27 08:29:45 +02:00
Merge remote-tracking branch 'origin/develop' into mueller/uio-updates
All checks were successful
EIVE/eive-obsw/pipeline/pr-develop This commit looks good
cace1217df
muellerr added 1 commit 2022-10-27 08:53:01 +02:00
small bugfix
Some checks are pending
EIVE/eive-obsw/pipeline/pr-develop Build queued...
921f413888
muellerr added 1 commit 2022-10-27 08:53:11 +02:00
Merge branch 'develop' into mueller/uio-updates
Some checks are pending
EIVE/eive-obsw/pipeline/pr-develop Build started...
f24ea413c8
muellerr merged commit 4e1df940d9 into develop 2022-10-27 08:53:22 +02:00
muellerr deleted branch mueller/uio-updates 2022-10-27 08:53:23 +02:00
meierj approved these changes 2022-10-28 12:10:48 +02:00
Sign in to join this conversation.
No description provided.