Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[Feature]: Clean up artefacts when a PR is closed #10

Closed
chicco785 opened this issue Jun 26, 2023 · 0 comments · Fixed by #9
Closed

[Feature]: Clean up artefacts when a PR is closed #10

chicco785 opened this issue Jun 26, 2023 · 0 comments · Fixed by #9
Assignees
Labels
feature This issue/PR relates to a feature request.

Comments

@chicco785
Copy link
Member

Is your feature request related to a problem? Please describe the problem.

No response

Describe the solution you'd like

When a PR is closed, related artefacts are removed as part of a general clean-up workflow.

Additional context

No response

@chicco785 chicco785 added the feature This issue/PR relates to a feature request. label Jun 26, 2023
@chicco785 chicco785 self-assigned this Jun 26, 2023
MarcoPignati pushed a commit that referenced this issue Jun 26, 2023
- [x] You've included unit or integration tests for your change, where
applicable.
- [x] You've included inline docs for your change, where applicable.
- [x] There's an open issue for the PR that you are making
    If you'd like to propose a new feature or change,
please open an issue to discuss the change or find an existing issue.

Add Clean Up Artefact job

Fixes #10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
feature This issue/PR relates to a feature request.
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant