Skip to content
This repository has been archived by the owner on Aug 3, 2024. It is now read-only.

Destroy container and everything when PR is closed #78

Open
williamdes opened this issue Jan 14, 2020 · 1 comment
Open

Destroy container and everything when PR is closed #78

williamdes opened this issue Jan 14, 2020 · 1 comment
Labels
enhancement New feature or request help wanted Extra attention is needed

Comments

@williamdes
Copy link
Member 

Closed #15543.
@williamdes williamdes added enhancement New feature or request help wanted Extra attention is needed labels Jan 14, 2020
@williamdes
Copy link
Member Author 

Merged #4 into master.

@williamdes williamdes mentioned this issue Jan 14, 2020
Open
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
enhancement New feature or request help wanted Extra attention is needed
Milestone
No milestone
Development

No branches or pull requests
1 participant
@williamdes