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.

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

souffle 2.4.1 #154435

Merged
merged 2 commits into from
Nov 30, 2023
Merged

souffle 2.4.1 #154435

merged 2 commits into from
Nov 30, 2023

Conversation

chenrui333
Copy link
Member

Created by brew bump


Created with brew bump-formula-pr.

release notes
## Synopsis

What's Changed

New Contributors

Full Changelog: souffle-lang/souffle@2.4...2.4.1

@github-actions github-actions bot added the bump-formula-pr PR was created using `brew bump-formula-pr` label Nov 15, 2023
Copy link
Contributor

This pull request has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. To keep this pull request open, add a help wanted or in progress label.

@github-actions github-actions bot added the stale No recent activity label Nov 18, 2023
@github-actions github-actions bot closed this Nov 19, 2023
@chenrui333 chenrui333 reopened this Nov 19, 2023
@chenrui333 chenrui333 added CI-requeued PR has been re-added to the queue and removed stale No recent activity labels Nov 19, 2023
@chenrui333 chenrui333 added long build Set a long timeout for formula testing CI-long-timeout [DEPRECATED] Use longer GitHub Actions CI timeout. CI-no-fail-fast Continue CI tests despite failing GitHub Actions matrix builds. labels Nov 21, 2023
@iMichka
Copy link
Member

iMichka commented Nov 21, 2023

Process completed with exit code 137

Not enough memory? This will need a self hosted runner for Linux.

@iMichka iMichka added the CI-linux-self-hosted Build on Linux self-hosted runner label Nov 21, 2023
@github-actions github-actions bot removed the CI-long-timeout [DEPRECATED] Use longer GitHub Actions CI timeout. label Nov 21, 2023
Copy link
Contributor

This pull request has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. To keep this pull request open, add a help wanted or in progress label.

@github-actions github-actions bot added the stale No recent activity label Nov 23, 2023
@github-actions github-actions bot closed this Nov 24, 2023
@chenrui333 chenrui333 reopened this Nov 26, 2023
@chenrui333 chenrui333 added the in progress Stale bot should stay away label Nov 26, 2023
@chenrui333
Copy link
Member Author

mark this PR in progress (need another long build run)

@chenrui333 chenrui333 removed the stale No recent activity label Nov 27, 2023
@cho-m cho-m added the CI-long-timeout [DEPRECATED] Use longer GitHub Actions CI timeout. label Nov 30, 2023
@cho-m cho-m force-pushed the bump-souffle-2.4.1 branch from 256e66b to aa9e32e Compare November 30, 2023 05:02
@p-linnane p-linnane mentioned this pull request Nov 30, 2023
6 tasks
@github-actions github-actions bot removed the CI-long-timeout [DEPRECATED] Use longer GitHub Actions CI timeout. label Nov 30, 2023
Copy link
Contributor

🤖 An automated task has requested bottles to be published to this PR.

@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 Nov 30, 2023
@BrewTestBot BrewTestBot added this pull request to the merge queue Nov 30, 2023
Merged via the queue into Homebrew:master with commit 7cc68c8 Nov 30, 2023
12 checks passed
@chenrui333 chenrui333 deleted the bump-souffle-2.4.1 branch January 22, 2024 17:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bump-formula-pr PR was created using `brew bump-formula-pr` CI-linux-self-hosted Build on Linux self-hosted runner CI-no-fail-fast Continue CI tests despite failing GitHub Actions matrix builds. CI-published-bottle-commits The commits for the built bottles have been pushed to the PR branch. CI-requeued PR has been re-added to the queue in progress Stale bot should stay away long build Set a long timeout for formula testing
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants