.github/master-push: use version tag - Githubissues

runtimeverification / wasm-semantics

A Prototype Formal Semantics of WebAssembly in K

Other

74 stars 18 forks source link

.github/master-push: use version tag #579

Closed ehildenb closed 4 months ago