Skip to content

fix: skip PRs with pending CI in pr-healer#15

Merged
sonesuke merged 4 commits intomainfrom
fix/pr-healer-skip-pending-ci
Feb 21, 2026
Merged

fix: skip PRs with pending CI in pr-healer#15
sonesuke merged 4 commits intomainfrom
fix/pr-healer-skip-pending-ci

Conversation

@sonesuke
Copy link
Copy Markdown
Owner

PR-Healer now skips PRs where CI checks are still PENDING or IN_PROGRESS. Also adds progress.jsonl to .gitignore.

dependabot bot and others added 3 commits February 21, 2026 02:24
Bumps [bytes](https://github.com/tokio-rs/bytes) from 1.11.0 to 1.11.1.
- [Release notes](https://github.com/tokio-rs/bytes/releases)
- [Changelog](https://github.com/tokio-rs/bytes/blob/master/CHANGELOG.md)
- [Commits](tokio-rs/bytes@v1.11.0...v1.11.1)

---
updated-dependencies:
- dependency-name: bytes
  dependency-version: 1.11.1
  dependency-type: indirect
...

Signed-off-by: dependabot[bot] <support@github.com>
@sonesuke sonesuke force-pushed the fix/pr-healer-skip-pending-ci branch from 454a55b to b0cbc83 Compare February 21, 2026 02:41
@sonesuke sonesuke force-pushed the fix/pr-healer-skip-pending-ci branch from b0cbc83 to 677422e Compare February 21, 2026 02:42
@sonesuke sonesuke merged commit 80e0634 into main Feb 21, 2026
4 checks passed
@sonesuke sonesuke deleted the fix/pr-healer-skip-pending-ci branch February 21, 2026 02:46
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.

2 participants