Re-organize tests on CI - Githubissues

runtimeverification / wasm-semantics

A Prototype Formal Semantics of WebAssembly in K

Other

78 stars 22 forks source link

Re-organize tests on CI #617

Closed tothtamas28 closed 5 months ago

tothtamas28 commented 5 months ago

@ehildenb, @F-WRunTime, please adjust required checks. Thank you!