Skip to content

Commit

Permalink
Update dependency: deps/k_release (#2665)
Browse files Browse the repository at this point in the history
* deps/k_release: Set Version 7.1.190

* kevm-pyk/: sync poetry files pyk version 7.1.190

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

---------

Co-authored-by: devops <[email protected]>
  • Loading branch information
rv-jenkins and devops authored Dec 17, 2024
1 parent 6cf2f54 commit afce9a6
Show file tree
Hide file tree
Showing 5 changed files with 26 additions and 26 deletions.
2 changes: 1 addition & 1 deletion deps/k_release
Original file line number Diff line number Diff line change
@@ -1 +1 @@
7.1.187
7.1.190
16 changes: 8 additions & 8 deletions flake.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion flake.nix
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
description = "A flake for the KEVM Semantics";

inputs = {
k-framework.url = "github:runtimeverification/k/v7.1.187";
k-framework.url = "github:runtimeverification/k/v7.1.190";
nixpkgs.follows = "k-framework/nixpkgs";
flake-utils.follows = "k-framework/flake-utils";
rv-utils.follows = "k-framework/rv-utils";
Expand Down
30 changes: 15 additions & 15 deletions kevm-pyk/poetry.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion kevm-pyk/pyproject.toml
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@ authors = [
[tool.poetry.dependencies]
python = "^3.10"
pathos = "*"
kframework = "7.1.187"
kframework = "7.1.190"
tomlkit = "^0.11.6"

[tool.poetry.group.dev.dependencies]
Expand Down

0 comments on commit afce9a6

Please sign in to comment.