Skip to content

Builing MacOS Package on MacOS 13#3686

Merged
rv-jenkins merged 11 commits intodevelopfrom
change-build-macos-runner
Oct 3, 2023
Merged

Builing MacOS Package on MacOS 13#3686
rv-jenkins merged 11 commits intodevelopfrom
change-build-macos-runner

Conversation

@Robertorosmaninho
Copy link
Copy Markdown
Collaborator

No description provided.

@rv-jenkins rv-jenkins changed the base branch from master to develop October 2, 2023 22:00
@Robertorosmaninho Robertorosmaninho self-assigned this Oct 3, 2023
@Robertorosmaninho
Copy link
Copy Markdown
Collaborator Author

Robertorosmaninho commented Oct 3, 2023

I've tested the modifications on Build MacOS Package CI stage here: https://github.com/runtimeverification/k/actions/runs/6393868404/job/17354044161

@Robertorosmaninho Robertorosmaninho marked this pull request as ready for review October 3, 2023 15:29
@Robertorosmaninho Robertorosmaninho requested a review from a team as a code owner October 3, 2023 15:29
@rv-jenkins rv-jenkins merged commit 4051bb3 into develop Oct 3, 2023
@rv-jenkins rv-jenkins deleted the change-build-macos-runner branch October 3, 2023 15:42
@Baltoli Baltoli mentioned this pull request Dec 12, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants