Skip to content

Upgrade all#666

Merged
ewjoachim merged 1 commit into
mainfrom
upgrade
May 29, 2026
Merged

Upgrade all#666
ewjoachim merged 1 commit into
mainfrom
upgrade

Conversation

@ewjoachim
Copy link
Copy Markdown
Member

No description provided.

@ewjoachim ewjoachim enabled auto-merge May 29, 2026 06:56
@github-actions
Copy link
Copy Markdown

End-to-end public repo

Admin commands cheatsheet:

  • /e2e (in approved PR review body): Trigger end-to-end tests on external contributions
  • /invite (in comment): Invite the author & admins to the end-to-end private repo

@github-actions
Copy link
Copy Markdown

Coverage report

This PR does not seem to contain any modification to coverable code.

@ewjoachim ewjoachim merged commit f1a6c69 into main May 29, 2026
4 checks passed
@ewjoachim ewjoachim deleted the upgrade branch May 29, 2026 07:03
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