Skip to content

Conversation

@ahelwer
Copy link
Collaborator

@ahelwer ahelwer commented Nov 27, 2024

@kape1395 is there a reason we run the CI on both macOS 13 and 14? Version 13 machines are very slow, taking about twice as long to complete as the rest. This PR just changes it to use macos-latest.

@kape1395
Copy link
Collaborator

I don't know. Maybe @damiendoligez or @muenchnerkindl was running the older macos?

@ahelwer ahelwer merged commit f4d118d into tlaplus:main Dec 2, 2024
5 checks passed
@ahelwer ahelwer deleted the ci-use-macos-latest branch December 2, 2024 21:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

2 participants