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

Enable Pharo12 Ci again #509

Merged
merged 1 commit into from
Nov 15, 2023
Merged

Enable Pharo12 Ci again #509

merged 1 commit into from
Nov 15, 2023

Conversation

MarcusDenker
Copy link
Contributor

No description provided.

@MarcusDenker MarcusDenker requested a review from noha November 15, 2023 14:58
@noha
Copy link
Contributor

noha commented Nov 15, 2023

hooray

@noha noha merged commit 221fe31 into main Nov 15, 2023
2 checks passed
@MarcusDenker MarcusDenker deleted the MarcusDenker-patch-1 branch November 15, 2023 15:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@noha noha noha approved these changes

Assignees
No one assigned
Labels
None yet
Projects
Soil project board
Archived in project
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@MarcusDenker @noha