Skip to content

Add a dashboard to visualise the Job queue and explore logs#761

Merged
f-f merged 17 commits intomasterfrom
f-f/add-dashboard
Mar 30, 2026
Merged

Add a dashboard to visualise the Job queue and explore logs#761
f-f merged 17 commits intomasterfrom
f-f/add-dashboard

Conversation

@f-f
Copy link
Copy Markdown
Member

@f-f f-f commented Mar 21, 2026

Fix #742 - we add a Halogen dashboard to easily access the Job Queue and see the logs for each job.

The dashboard is deployed on GitHub Pages. I thought we should have a preview for each PR that changes the dashboard as well, so I added this, which is unfortunately not compatible with the default publish action, so I used this one instead, which is compatible.

A notable change is that I had to split the SSH module, so that we could use Registry.Operation in the frontend modules.

@f-f f-f requested a review from thomashoneyman March 21, 2026 14:48
@github-actions
Copy link
Copy Markdown

github-actions bot commented Mar 21, 2026

PR Preview Action v1.8.1

QR code for preview link

🚀 View preview at
https://purescript.github.io/registry-dev/pr-preview/pr-761/

Built to branch gh-pages at 2026-03-30 21:37 UTC.
Preview will be ready when the GitHub Pages deployment is complete.

@thomashoneyman
Copy link
Copy Markdown
Member

If we expect agents to be working on the dashboard is there anything specific you think should be added in a AGENTS.md (and symlinked CLAUDE.md) in the dashboard directory so that agents working there pick it up? Anything you noticed you needed to correct regarding Halogen, library choices, style, etc.?

@thomashoneyman
Copy link
Copy Markdown
Member

A notable change is that I had to split the SSH module, so that we could use Registry.Operation in the frontend modules.

Is this outdated? I didn't see changes to the SSH module in the commits here.

Copy link
Copy Markdown
Member

@thomashoneyman thomashoneyman left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Approving with non-blocking comments 🙏

@f-f
Copy link
Copy Markdown
Member Author

f-f commented Mar 30, 2026

Anything you noticed you needed to correct regarding Halogen, library choices, style, etc.?

Actually nothing at all, the thing is much better at Halogen than I ever was 🙂

Is this outdated? I didn't see changes to the SSH module in the commits here.

No changes in behaviour, we just extract a part of Registry.SSH into Registry.SSH.Signature so the Registry.Operation can import just that and the frontend does not need to have any node dependencies.

thomashoneyman and others added 3 commits March 30, 2026 20:09
…ring its timer. After a reload or route change, the checkbox could appear enabled while polling was actually stopped.

Start or stop the subscription through a shared helper and use it from initialization, route updates, and the toggle handler. The component now keeps  and  in sync whenever route params are applied.
@f-f f-f merged commit 9e34788 into master Mar 30, 2026
17 checks passed
@f-f f-f deleted the f-f/add-dashboard branch March 30, 2026 22:21
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.

Create a Dashboard for the Registry API

2 participants