runtimeverification / wasm-semantics

A Prototype Formal Semantics of WebAssembly in K
Other
77 stars 19 forks source link

Drop intel mac runners #675

Closed Baltoli closed 1 month ago

Baltoli commented 1 month ago

We no longer support these runners in K, and so we can safely drop them from projects downstream of K now. Doing so also allows us to simplify our workflow code.