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

Author	SHA1	Message	Date
Robin Müller	7c1dcb5f11	Merge branch 'develop' into mueller/create-unique-bin-name All checks were successful EIVE/eive-obsw/pipeline/pr-develop This commit looks good Details EIVE/eive-obsw/pipeline/head This commit looks good Details	2022-02-21 14:46:56 +01:00
Robin Mueller	9c7a203930	make unique name optional Some checks are pending EIVE/eive-obsw/pipeline/head Build started... Details EIVE/eive-obsw/pipeline/pr-develop This commit looks good Details	2022-02-21 10:41:22 +01:00
Robin Mueller	23ba1a997d	create unique bin name again All checks were successful EIVE/eive-obsw/pipeline/head This commit looks good Details	2022-02-20 10:34:41 +01:00