Skip to content

Link GitHub jobs to the dashboard instead of the API #787

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
f-f merged 1 commit into from
Jul 22, 2026
Merged

Link GitHub jobs to the dashboard instead of the API #787

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 3 additions & 3 deletions app/src/App/GitHubIssue.purs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -116,7 +116,7 @@ runGitHubIssue env = do
Left err -> Except.throw $ "Failed to submit job: " <> err
Right (DuplicateJob { jobId }) -> do
let jobIdStr = unwrap jobId
let logsUrl = registryApiUrl <> "/v1/jobs/" <> jobIdStr
let logsUrl = Constants.dashboardUrl <> "/#/jobs/" <> jobIdStr
Log.debug $ "Duplicate job: " <> jobIdStr
Run.liftAff $ void $ Octokit.request env.octokit $ Octokit.createCommentRequest
{ address: Constants.registry
Expand All @@ -126,7 +126,7 @@ runGitHubIssue env = do
pure false
Right (CreatedJob { jobId }) -> do
let jobIdStr = unwrap jobId
let logsUrl = registryApiUrl <> "/v1/jobs/" <> jobIdStr
let logsUrl = Constants.dashboardUrl <> "/#/jobs/" <> jobIdStr
Log.debug $ "Job created: " <> jobIdStr

-- Post initial comment with job ID
Expand Down Expand Up @@ -408,7 +408,7 @@ firstObject input = fromMaybe input do
after <- String.lastIndexOf (String.Pattern "}") start
pure (String.take (after + 1) start)

-- | An event triggered by a GitHub workflow, specifically via an issue commentAdd a comment on line L244Add diff commentMarkdown input: edit mode selected.WritePreviewHeadingBoldItalicQuoteCodeLinkUnordered listNumbered listTask listMentionReferenceSaved repliesAdd FilesPaste, drop, or click to add filesCancelCommentStart a reviewReturn to code
-- | An event triggered by a GitHub workflow, specifically via an issue comment
-- | or issue creation.
-- | https://docs.github.com/developers/webhooks-and-events/webhooks/webhook-events-and-payloads#issue_comment
newtype IssueEvent = IssueEvent
Expand Down
4 changes: 4 additions & 0 deletions lib/src/Constants.purs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -29,6 +29,10 @@ storageUrl = "https://packages.registry.purescript.org"
apiUrl :: String
apiUrl = "https://registry.purescript.org/api"

-- | The URL of the registry dashboard, where jobs and their logs can be viewed
dashboardUrl :: String
dashboardUrl = "https://www.purescript.org/registry-dev"

ignoredDirectories :: Array FilePath
ignoredDirectories =
[ ".psci"
Expand Down