Skip to content

Improved dev-vault helper script#98

Merged
cezmunsta merged 1 commit into
masterfrom
dev-vault
Jan 14, 2023
Merged

Improved dev-vault helper script#98
cezmunsta merged 1 commit into
masterfrom
dev-vault

Conversation

@cezmunsta
Copy link
Copy Markdown
Owner

  • Optimised vault_exists
  • Updated prepare_vault to wait for the container to be in a running state

* Optimised vault_exists
* Updated prepare_vault to wait for the container to be in
  a running state
@cezmunsta cezmunsta added the enhancement New feature or request label Jan 14, 2023
@cezmunsta cezmunsta self-assigned this Jan 14, 2023
@cezmunsta cezmunsta merged commit f3e3551 into master Jan 14, 2023
@cezmunsta cezmunsta deleted the dev-vault branch January 14, 2023 21:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant