Skip to content

fix(ci): Remove PAUL#5406

Merged
gusfcarvalho merged 2 commits intoexternal-secrets:mainfrom
evrardjp:remove-old-tool
Oct 3, 2025
Merged

fix(ci): Remove PAUL#5406
gusfcarvalho merged 2 commits intoexternal-secrets:mainfrom
evrardjp:remove-old-tool

Conversation

@evrardjp
Copy link
Copy Markdown
Contributor

@evrardjp evrardjp commented Oct 3, 2025

Paul is not used anymore.

@github-actions github-actions bot added area/ci Pull requests that update Github_actions code kind/bug Categorizes issue or PR as related to a bug. component/github-actions labels Oct 3, 2025
Paul is not used anymore.

Signed-off-by: Jean-Philippe Evrard <open-source@a.spamming.party>
@gusfcarvalho gusfcarvalho enabled auto-merge (squash) October 3, 2025 16:56
@gusfcarvalho gusfcarvalho merged commit 3a79ce7 into external-secrets:main Oct 3, 2025
6 checks passed
@sonarqubecloud
Copy link
Copy Markdown

sonarqubecloud bot commented Oct 3, 2025

SamuelMolling pushed a commit to SamuelMolling/external-secrets that referenced this pull request Oct 24, 2025
Paul is not used anymore.

Signed-off-by: Jean-Philippe Evrard <open-source@a.spamming.party>
Signed-off-by: Samuel Molling <samuelmolling@gmail.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

area/ci Pull requests that update Github_actions code component/github-actions kind/bug Categorizes issue or PR as related to a bug. size/s

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

2 participants