Skip to content

[Ops] Add possibility to specify the infrastructure bucket name#271

Merged
gmarciani merged 1 commit intoaws:mainfrom gmarciani:wip/mgiacomo/ops-improvement-2Oct 16, 2023