dsh-pr-checks
Run the following command in DeepSeek Harness:
dsh plugin install pauloapoloni/dsh-pr-checks
Paste the following prompt into your AI chat to install this plugin:
Run dsh plugin install pauloapoloni/dsh-pr-checks in the DeepSeek Harness terminal to install this plugin; the source is at https://github.com/pauloapoloni/dsh-pr-checks. After installation, restart dsh web and reload the GUI.
About this plugin
Checking GitHub Actions status in a browser tab while coding in DSH breaks focus. dsh-pr-checks moves that loop into the sidebar footer: open PRs, per-check progress, and queued steps are laid out as Workspace, then Project, then PR, with a progress bar and colored dots (hover for the name), so you never leave the editor.
Only PRs whose checks are still running (IN_PROGRESS, QUEUED, or PENDING) stay in the list; once they finish, the entry disappears. When nothing is running the entire widget hides itself and reappears the moment a check starts. It polls a small REST endpoint every 30 seconds, with a configurable response cache, and lets you filter by author login or extra repositories, so teams can keep the list focused on what matters.
Installation is a self-contained bundle that ships its own cordis.patch.yml layer, meaning no patches are applied to DSH runtime files and the plugin survives DSH upgrades. It is a good fit for engineers who submit PRs regularly from DSH, juggle multiple workspaces, and prefer CI status as a persistent sidebar element rather than a browser tab they keep switching to.
Use Cases
- Watch GitHub Actions check progress in the sidebar footer without switching to a browser tab
- Track check status across PRs in multiple workspaces at a glance
- Filter to only your own PR checks in a shared team environment
Best For
- Engineers who submit PRs from DSH and wait on CI results
- Developers managing repositories across multiple workspaces
- Solo developers who want fewer tab switches and deeper focus
Related Plugins
Free web search plugin for DeepSeek Harness with web search, X search, and page fetch; no signup or API key required, with automatic multi-engine failover.
AnySearch-powered web and vertical search plugin for DeepSeek Harness, offering real-time search, cleaned URL content, concurrent batch search via native web_search/web_fetch, no API key required.
Pixel-perfect webpage clone tool that uses an agent harness to turn any webpage into a scored, full-page React replica.
A bilingual cost-tracking plugin for DeepSeek Harness with session/daily cost, budget, official & custom provider balance, coding plan quotas, peak/off-peak pricing alerts, and history stats.