Skip to content

Poll the PR through observe_pr's retry policy instead of a workflow timer - #45

Merged
krokicki merged 2 commits into
mainfrom
worktree-poll-via-retry
Oct 13, 2026
Merged

Poll the PR through observe_pr's retry policy instead of a workflow timer#45
krokicki merged 2 commits into
mainfrom
worktree-poll-via-retry

Merge origin/main (mypy) into worktree-poll-via-retry

295fdb3
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar