create unique bin name again #143

Merged
meierj merged 3 commits from mueller/create-unique-bin-name into develop 2022-02-22 18:15:12 +01:00
Owner

I think this disappeared accidentaly. Unique name is now optional as well

I think this disappeared accidentaly. Unique name is now optional as well
muellerr added 2 commits 2022-02-21 10:41:46 +01:00
create unique bin name again
All checks were successful
EIVE/eive-obsw/pipeline/head This commit looks good
23ba1a997d
make unique name optional
Some checks are pending
EIVE/eive-obsw/pipeline/head Build started...
EIVE/eive-obsw/pipeline/pr-develop This commit looks good
9c7a203930
muellerr added 1 commit 2022-02-21 14:47:01 +01:00
Merge branch 'develop' into mueller/create-unique-bin-name
All checks were successful
EIVE/eive-obsw/pipeline/pr-develop This commit looks good
EIVE/eive-obsw/pipeline/head This commit looks good
7c1dcb5f11
muellerr requested review from meierj 2022-02-22 10:03:27 +01:00
meierj approved these changes 2022-02-22 18:15:04 +01:00
meierj merged commit 7a97471ed9 into develop 2022-02-22 18:15:12 +01:00
muellerr deleted branch mueller/create-unique-bin-name 2022-02-22 19:09:53 +01:00
Sign in to join this conversation.
No description provided.