Install Nix when bumping versions

runtimeverification / wasm-semantics

A Prototype Formal Semantics of WebAssembly in K

Other

74 stars 18 forks source link

Install Nix when bumping versions #623

Closed Baltoli closed 2 months ago

Baltoli commented 2 months ago

Fixes an issue introduced in #622 where the Nix flake versions of this project's dependencies couldn't be updated because Nix wasn't installed on the CI runner doing the update.