search

runtimeverification / llvm-backend

KORE to llvm translation
BSD 3-Clause "New" or "Revised" License
34 stars 19 forks source link

Drop intel macOS support in CI #1066

Closed Baltoli closed 1 month ago

Baltoli commented 1 month ago

Part of: https://github.com/runtimeverification/k/issues/4368

We no longer want to support these machines, and so we should remove them from all the CI matrices that we're using across the organisation.

Baltoli commented 1 month ago

Worth noting that this will bring CI times for the LLVM backend down to <15 mins, which is a nice improvement.

Robertorosmaninho commented 1 month ago

Will we update our host m1 machine to have a newer macOS version? We're already on version 14. It should be safe to drop 12 and only keep supporting and testing 13 and 14!

Baltoli commented 1 month ago

Will we update our host m1 machine to have a newer macOS version? We're already on version 14. It should be safe to drop 12 and only keep supporting and testing 13 and 14!

Yes, but doing so requires some work on freeman's part so we'll do that upgrade when he has the bandwidth to do so.