Skip to content

ci: Use deleteDir() (non Docker workers) to cleanup workspace directory#5950

Merged
big-r81 merged 1 commit into
mainfrom
ci/clean-workspace
Mar 28, 2026
Merged

ci: Use deleteDir() (non Docker workers) to cleanup workspace directory#5950
big-r81 merged 1 commit into
mainfrom
ci/clean-workspace

Conversation

@big-r81
Copy link
Copy Markdown
Contributor

@big-r81 big-r81 commented Mar 28, 2026

Overview

We can use deleteDir() at the end of the native stages. On Windows the cleanup command doesn't work completely, replace it with the provided Jenkins method. Use it at the other native CI workers too.

Checklist

  • This is my own work, I did not use AI, LLM's or similar technology
  • Code is written and works correctly
  • Changes are covered by tests
  • Any new configurable parameters are documented in rel/overlay/etc/default.ini
  • Documentation changes were made in the src/docs folder
  • Documentation changes were backported (separated PR) to affected branches

We can use deleteDir() at the end of the native stages.
On Windows the cleanup command doesn't work completely,
replace it with the provided Jenkins method. Use it
at the other native CI workers too.
Copy link
Copy Markdown
Contributor

@nickva nickva left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

+1 if ci passes ("if I fits, I sits")

@big-r81 big-r81 merged commit 72936f8 into main Mar 28, 2026
59 checks passed
@big-r81 big-r81 deleted the ci/clean-workspace branch March 28, 2026 16:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants