Skip to content

v0.1.65: Update dependency: deps/kevm_release (#181)

Compare
Choose a tag to compare
@github-actions github-actions released this 20 Nov 08:37
136a305
* deps/kevm_release: Set Version 1.0.360

* Sync Poetry files: kevm-pyk version 1.0.360

* flake.{nix,lock}: update Nix derivations

* Drop the `plugin_dir` argument

* Set shell options for `nix` job

* Set Version: 0.1.64

* deps/kevm_release: Set Version 1.0.361

* Sync Poetry files: kevm-pyk version 1.0.361

* deps/k_release: sync release file version 6.1.14

* flake.{nix,lock}: update Nix derivations

* add missing deps

* Set Version: 0.1.65

---------

Co-authored-by: devops <devops@runtimeverification.com>
Co-authored-by: Tamás Tóth <tothtamas28@users.noreply.github.com>
Co-authored-by: Samuel Balco <goodlyrottenapple@gmail.com>