Skip to content
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

Jump to bottom

purescript: update 0.15.13 bottle. #156140

Merged
merged 1 commit into from
Dec 1, 2023
Merged

purescript: update 0.15.13 bottle. #156140

merged 1 commit into from
Dec 1, 2023

Conversation

BrewTestBot
Copy link
Member

@BrewTestBot BrewTestBot commented Dec 1, 2023 •
edited by chenrui333
Loading

@github-actions github-actions bot added the CI-published-bottle-commits The commits for the built bottles have been pushed to the PR branch. label Dec 1, 2023
@BrewTestBot BrewTestBot enabled auto-merge December 1, 2023 21:12
@github-actions github-actions bot added the haskell Haskell use is a significant feature of the PR or issue label Dec 1, 2023
@BrewTestBot BrewTestBot added this pull request to the merge queue Dec 1, 2023
Merged via the queue into master with commit 9e872dc Dec 1, 2023
12 checks passed
@BrewTestBot BrewTestBot deleted the chenrui333/dispatch/purescript/7064252766 branch December 1, 2023 21:21
This was referenced Dec 1, 2023
Merged
Merged
@github-actions github-actions bot added the outdated PR was locked due to age label Jan 1, 2024
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Jan 1, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@github-actions github-actions[bot] github-actions[bot] approved these changes

@chenrui333 chenrui333 Awaiting requested review from chenrui333

Assignees
No one assigned
Labels
CI-published-bottle-commits The commits for the built bottles have been pushed to the PR branch. haskell Haskell use is a significant feature of the PR or issue outdated PR was locked due to age sonoma-bottling
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@BrewTestBot @chenrui333