Skip to content

Commit

Permalink
build-prs / prdispatch: Ignore workflow runs after self
Browse files Browse the repository at this point in the history
  • Loading branch information
jwodder committed Feb 9, 2021
1 parent 6c0e2ff commit 9061035
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .github/workflows/tools/prdispatch.py
Original file line number Diff line number Diff line change
Expand Up @@ -177,7 +177,7 @@ def get_last_successful_start_time(self):
" is this not GitHub Actions?"
)
for wfrun in self.repo.get_workflow(THIS_WORKFLOW).get_runs():
if wfrun.run_number == myself:
if wfrun.run_number >= myself:
pass
elif wfrun.status != "completed":
sys.exit("Previous run has not completed; aborting")
Expand Down

0 comments on commit 9061035

Please sign in to comment.