Skip to content

Commit 28a16d7

Browse files
rv-jenkinsrv-auditordkcumming
authored
Update dependency: deps/k_release (#492)
Co-authored-by: devops <[email protected]> Co-authored-by: Daniel Cumming <[email protected]>
1 parent 296dddd commit 28a16d7

File tree

7 files changed

+126
-105
lines changed

7 files changed

+126
-105
lines changed

deps/k_release

+1-1
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
7.1.222
1+
7.1.229

flake.lock

+8-8
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

flake.nix

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
{
22
description = "mir-semantics - ";
33
inputs = {
4-
k-framework.url = "github:runtimeverification/k/v7.1.222";
4+
k-framework.url = "github:runtimeverification/k/v7.1.229";
55
nixpkgs.follows = "k-framework/nixpkgs";
66
flake-utils.follows = "k-framework/flake-utils";
77
rv-utils.follows = "k-framework/rv-utils";

kmir/poetry.lock

+112-91
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

kmir/pyproject.toml

+2-2
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
44

55
[tool.poetry]
66
name = "kmir"
7-
version = "0.3.99"
7+
version = "0.3.100"
88
description = ""
99
authors = [
1010
"Runtime Verification, Inc. <[email protected]>",
@@ -22,7 +22,7 @@ pytest-kmir = "kmir.testing.fixtures"
2222

2323
[tool.poetry.dependencies]
2424
python = "^3.10"
25-
kframework = "7.1.222"
25+
kframework = "7.1.229"
2626

2727
[tool.poetry.group.dev.dependencies]
2828
autoflake = "*"

kmir/src/kmir/__init__.py

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,3 @@
11
from typing import Final
22

3-
VERSION: Final = '0.3.99'
3+
VERSION: Final = '0.3.100'

package/version

+1-1
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
0.3.99
1+
0.3.100

0 commit comments

Comments
 (0)