Skip to content

ci(test): drop PAT from formatting job, check format instead of auto-pushing#4159

Draft
Stevengre wants to merge 1 commit into
masterfrom
worktree-avoid-pat
Draft

ci(test): drop PAT from formatting job, check format instead of auto-pushing#4159
Stevengre wants to merge 1 commit into
masterfrom
worktree-avoid-pat

Conversation

@Stevengre

Copy link
Copy Markdown

The formatting job used JENKINS_GITHUB_PAT to push a fourmolu commit back to the PR branch. Remove the PAT dependency: run fourmolu and fail the job if any .hs file changed, prompting the author to format locally and commit. No write token or push is needed.

…pushing

The formatting job used JENKINS_GITHUB_PAT to push a fourmolu commit back
to the PR branch. Remove the PAT dependency: run fourmolu and fail the job
if any .hs file changed, prompting the author to format locally and commit.
No write token or push is needed.
@Stevengre Stevengre requested a review from ehildenb June 30, 2026 10:07
@Stevengre Stevengre self-assigned this Jun 30, 2026
@Stevengre Stevengre removed the request for review from ehildenb June 30, 2026 10:08
@Stevengre Stevengre marked this pull request as draft June 30, 2026 10:08
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.

1 participant