Skip to content

Backport use of FormSet for #withCloseBox and #withPinBox on MenuTitleMorph#16774

Merged
jecisc merged 8 commits intopharo-project:Pharo12from
Rinzwind:menutitlemorph-formset
Jun 18, 2024
Merged

Backport use of FormSet for #withCloseBox and #withPinBox on MenuTitleMorph#16774
jecisc merged 8 commits intopharo-project:Pharo12from
Rinzwind:menutitlemorph-formset

Conversation

@Rinzwind
Copy link
Contributor

This pull request backports the changes of pull request #16696 to Pharo 12 (the branch is the same, I started it from the last common ancestor of the ‘Pharo13’ and ‘Pharo12’ branches to allow for that).

@jecisc
Copy link
Member

jecisc commented Jun 18, 2024

I merged P12 branch to restart the CI now that fixes happened

@jecisc jecisc merged commit d4531b5 into pharo-project:Pharo12 Jun 18, 2024
@Rinzwind
Copy link
Contributor Author

OK thanks! You could also just close and reopen the pull request to start a new build I think, the builds also perform a merge, the log for build 2 of this pull request shows:

Pull request #16774 updated
[…]
Merging remotes/origin/Pharo12 commit 25ecf718d4a363b275862b4a093b1a240ec7e8d2 into PR head commit 734a391a43500a52abcbb8547c509d77a6ec424b
[…]
Merge succeeded, producing e87aa93a71cfe483605b8720fcbf5e9dedd7b59b
Checking out Revision e87aa93a71cfe483605b8720fcbf5e9dedd7b59b (PR-16774)
[…]
+ PHARO_IMAGE_NAME=Pharo12.0-PR-64bit-e87aa93
[…]

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