Skip to content

Pharo 13 CI support#16

Merged
LabordePierre merged 2 commits intomainfrom
dev-p13
Aug 13, 2025
Merged

Pharo 13 CI support#16
LabordePierre merged 2 commits intomainfrom
dev-p13

Conversation

@LabordePierre
Copy link
Member

No description provided.

@LabordePierre LabordePierre added the ci/cd Continuous integration / continuous delivery stuff label Aug 13, 2025
@LabordePierre LabordePierre merged commit e0b109b into main Aug 13, 2025
9 checks passed
@LabordePierre LabordePierre deleted the dev-p13 branch August 13, 2025 14:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ci/cd Continuous integration / continuous delivery stuff

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant

Comments