Skip to content

[PATCH] chore: merge develop to main - #45

Merged
alain-sv merged 5 commits into
mainfrom
release/patch-20260513-155655
May 13, 2026
Merged

[PATCH] chore: merge develop to main#45
alain-sv merged 5 commits into
mainfrom
release/patch-20260513-155655

Conversation

@alain-sv

Copy link
Copy Markdown
Contributor

Release PR created by just ship patch. Merge this PR after required checks pass; the publish workflow will bump the patch version from the merge commit token.

alain-sv added 5 commits May 13, 2026 14:20
Pin all uses of actions/checkout@v6 and actions/setup-python@v6 to
their commit SHAs across every workflow, closing the remaining
floating-tag attack surface.

- actions/checkout  → de0fac2e (v6)
- actions/setup-python → a309ff8b (v6)
@qodo-code-review

Copy link
Copy Markdown

Qodo reviews are paused for this user.

Troubleshooting steps vary by plan Learn more →

On a Teams plan?
Reviews resume once this user has a paid seat and their Git account is linked in Qodo.
Link Git account →

Using GitHub Enterprise Server, GitLab Self-Managed, or Bitbucket Data Center?
These require an Enterprise plan - Contact us
Contact us →

@alain-sv
alain-sv merged commit 594782c into main May 13, 2026
8 checks passed
@alain-sv
alain-sv deleted the release/patch-20260513-155655 branch May 13, 2026 13:18
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.

1 participant