Skip to content

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

Merged
jonathanslenders merged 10 commits into
prompt-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 into
prompt-toolkit:mainfrom
tleonhardt:github-actions

Add Makefile to .gitignore and "git rm Makefile"

b4d85dd
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning

The logs for this run have expired and are no longer available.