Repository navigation

Make name of debugging artifact and DB within it configurable - #868

Merged

edoardopirovano merged 1 commit into

github:mainfrom

edoardopirovano:debug-artifact-name

Jan 7, 2022

Merged

Make name of debugging artifact and DB within it configurable#868
edoardopirovano merged 1 commit into
github:mainfrom
edoardopirovano:debug-artifact-name

Commits on Jan 7, 2022
- Make name of debugging artifact and DB within it configurable
  edoardopirovano
  committed
  e677af3