Skip to content

Fix the build#581

Merged
sol merged 1 commit into
masterfrom
sol-patch-1
Jun 7, 2026
Merged

Fix the build#581
sol merged 1 commit into
masterfrom
sol-patch-1

Conversation

@sol
Copy link
Copy Markdown
Collaborator

@sol sol commented Jun 6, 2026

No description provided.

@sol
Copy link
Copy Markdown
Collaborator Author

sol commented Jun 6, 2026

@snoyberg I would like to make the following adjustments to the repository settings:

  • required that CI passes before merging via branch protection rules
  • enable "Allow auto-merge"
  • disable "Allow merge commits"

I would eventually also want to automate Hackage releases, but this will require a little bit more work, as my current setup would only work if the whole family of packages would be released with the same version numbers.

Can you give me the required permissions, or do you want me to provide exact steps on what to change?

@snoyberg
Copy link
Copy Markdown
Owner

snoyberg commented Jun 7, 2026

I don't think I can give you those permissions since this is on my personal account, not an org. If you give me the steps you'd like me to take, I'll make the updates.

@sol
Copy link
Copy Markdown
Collaborator Author

sol commented Jun 7, 2026

I don't think I can give you those permissions since this is on my personal account, not an org. If you give me the steps you'd like me to take, I'll make the updates.

Thanks @snoyberg. I'll open a separate issue for this once CI is green.

@sol sol force-pushed the sol-patch-1 branch 4 times, most recently from e919024 to 7987d12 Compare June 7, 2026 10:49
@sol sol mentioned this pull request Jun 7, 2026
@sol
Copy link
Copy Markdown
Collaborator Author

sol commented Jun 7, 2026

The Window build is still flaky, but I'm not in a position to debug this.

@sol sol merged commit d717e75 into master Jun 7, 2026
22 of 24 checks passed
@sol sol deleted the sol-patch-1 branch June 7, 2026 11:38
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