search

runtimeverification / avm-semantics

BSD 3-Clause "New" or "Revised" License
15 stars 4 forks source link

Nix binary caching and version updates #218

Closed ehildenb closed 1 year ago

ehildenb commented 1 year ago

This PR enables publishing version identifiers and nix binary caching.

Blocked on: https://github.com/runtimeverification/avm-semantics/pull/219

Before merge, the required status checks need to be updated.