Skip to content

Fix GitHub Actions running in a PR by setting the correct branch#2057

Merged
jonathanslenders merged 10 commits intoprompt-toolkit:mainfrom
tleonhardt:github-actions
Mar 17, 2026
Merged

Fix GitHub Actions running in a PR by setting the correct branch#2057
jonathanslenders merged 10 commits intoprompt-toolkit:mainfrom
tleonhardt:github-actions

Commits

Commits on Mar 15, 2026