After merging a PR the environment is not cleaned up. See: https://github.com/edbook/haskoli-islands/deployments Create a job to cleanup after successful merge.
After merging a PR the environment is not cleaned up.
See: https://github.com/edbook/haskoli-islands/deployments
Create a job to cleanup after successful merge.