Skip to content

Commit ae858ec

Browse files
rv-jenkinsrv-auditordkcumming
authored
Update dependency: deps/pyk_release (#334)
* deps/pyk_release: Set Version v0.1.666 * Set Version: 0.2.33 * kmir/{pyproject.toml,poetry.lock}: sync Poetry files * flake.{nix,lock}: update Nix derivations * deps/pyk_release: Set Version v0.1.667 * kmir/{pyproject.toml,poetry.lock}: sync Poetry files * flake.{nix,lock}: update Nix derivations * deps/pyk_release: Set Version v0.1.668 * kmir/{pyproject.toml,poetry.lock}: sync Poetry files * flake.{nix,lock}: update Nix derivations * deps/pyk_release: Set Version v0.1.669 * kmir/{pyproject.toml,poetry.lock}: sync Poetry files * deps/k_release: sync release file version 6.3.20 * flake.{nix,lock}: update Nix derivations * Changed checkout@v3 to checkout@v4 for github actions * deps/pyk_release: Set Version v0.1.670 * kmir/{pyproject.toml,poetry.lock}: sync Poetry files * deps/k_release: sync release file version 6.3.21 * flake.{nix,lock}: update Nix derivations * deps/pyk_release: Set Version v0.1.671 * kmir/{pyproject.toml,poetry.lock}: sync Poetry files * flake.{nix,lock}: update Nix derivations * deps/pyk_release: Set Version v0.1.672 * kmir/{pyproject.toml,poetry.lock}: sync Poetry files * flake.{nix,lock}: update Nix derivations --------- Co-authored-by: devops <[email protected]> Co-authored-by: dkcumming <[email protected]>
1 parent d1ba399 commit ae858ec

File tree

11 files changed

+29
-29
lines changed

11 files changed

+29
-29
lines changed

‎.github/workflows/master-push.yml

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -14,7 +14,7 @@ jobs:
1414
runs-on: ${{ matrix.runner }}
1515
steps:
1616
- name: 'Check out code'
17-
uses: actions/checkout@v3
17+
uses: actions/checkout@v4
1818
with:
1919
ref: ${{ github.event.push.head.sha }}
2020
fetch-depth: 0
@@ -53,7 +53,7 @@ jobs:
5353
runs-on: [self-hosted, linux, normal]
5454
steps:
5555
- name: 'Check out code'
56-
uses: actions/checkout@v3
56+
uses: actions/checkout@v4
5757
with:
5858
ref: ${{ github.event.push.head.sha }}
5959
fetch-depth: 0
@@ -84,7 +84,7 @@ jobs:
8484
needs: dockerhub
8585
steps:
8686
- name: 'Check out code'
87-
uses: actions/checkout@v3
87+
uses: actions/checkout@v4
8888
with:
8989
ref: ${{ github.event.push.head.sha }}
9090
fetch-depth: 0

‎.github/workflows/test.yml

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,7 @@ jobs:
1313
runs-on: 'ubuntu-latest'
1414
steps:
1515
- name: ${{ secrets.JENKINS_GITHUB_PAT }}
16-
uses: actions/checkout@v3
16+
uses: actions/checkout@v4
1717
with:
1818
token: ${{ secrets.JENKINS_GITHUB_PAT }}
1919
fetch-depth: 0
@@ -39,7 +39,7 @@ jobs:
3939
runs-on: ubuntu-latest
4040
steps:
4141
- name: 'Check out code'
42-
uses: actions/checkout@v3
42+
uses: actions/checkout@v4
4343
- name: 'Install Poetry'
4444
uses: Gr1N/setup-poetry@v8
4545
- name: 'Run code quality checks'
@@ -51,7 +51,7 @@ jobs:
5151
runs-on: ubuntu-latest
5252
steps:
5353
- name: 'Check out code'
54-
uses: actions/checkout@v3
54+
uses: actions/checkout@v4
5555
- name: 'Install Poetry'
5656
uses: Gr1N/setup-poetry@v8
5757
- name: 'Run unit tests'
@@ -63,7 +63,7 @@ jobs:
6363
runs-on: [self-hosted, linux, normal]
6464
steps:
6565
- name: 'Check out code'
66-
uses: actions/checkout@v3
66+
uses: actions/checkout@v4
6767
with:
6868
token: ${{ secrets.JENKINS_GITHUB_PAT }}
6969
submodules: recursive
@@ -89,7 +89,7 @@ jobs:
8989
timeout-minutes: 60
9090
steps:
9191
- name: 'Check out code'
92-
uses: actions/checkout@v3
92+
uses: actions/checkout@v4
9393
- name: 'Nix Build KMIR'
9494
run: GC_DONT_GC=1 nix build . --extra-experimental-features 'nix-command flakes' --print-build-logs
9595
- name: 'Nix Test KMIR'

‎.github/workflows/update-version.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -15,7 +15,7 @@ jobs:
1515
runs-on: [self-hosted, linux, flyweight]
1616
steps:
1717
- name: 'Check out code'
18-
uses: actions/checkout@v3
18+
uses: actions/checkout@v4
1919
with:
2020
token: ${{ secrets.JENKINS_GITHUB_PAT }}
2121
- name: 'Install Poetry'

‎deps/k_release

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
6.3.18
1+
6.3.21

‎deps/pyk_release

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
v0.1.665
1+
v0.1.672

‎flake.lock

Lines changed: 8 additions & 8 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎flake.nix

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2,11 +2,11 @@
22
description = " A flake for KMIR Semantics";
33

44
inputs = {
5-
k-framework.url = "github:runtimeverification/k/v6.3.18";
5+
k-framework.url = "github:runtimeverification/k/v6.3.21";
66
nixpkgs.follows = "k-framework/nixpkgs";
77
flake-utils.follows = "k-framework/flake-utils";
88
rv-utils.follows = "k-framework/rv-utils";
9-
pyk.url = "github:runtimeverification/pyk/v0.1.665";
9+
pyk.url = "github:runtimeverification/pyk/v0.1.672";
1010
nixpkgs-pyk.follows = "pyk/nixpkgs";
1111
poetry2nix.follows = "pyk/poetry2nix";
1212
};

‎kmir/poetry.lock

Lines changed: 4 additions & 4 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎kmir/pyproject.toml

Lines changed: 2 additions & 2 deletions
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.2.32"
7+
version = "0.2.33"
88
description = ""
99
authors = [
1010
"Runtime Verification, Inc. <[email protected]>",
@@ -13,7 +13,7 @@ authors = [
1313
[tool.poetry.dependencies]
1414
python = "^3.10"
1515
filelock = "3.9.0"
16-
pyk = { git = "https://github.com/runtimeverification/pyk.git", tag = "v0.1.665" }
16+
pyk = { git = "https://github.com/runtimeverification/pyk.git", tag = "v0.1.672" }
1717
pytest-timeout = "2.1.0"
1818

1919
[tool.poetry.group.dev.dependencies]

‎kmir/src/kmir/__init__.py

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5,4 +5,4 @@
55
from .prove import prove, show_proof, view_proof
66
from .run import run
77

8-
VERSION: Final = '0.2.32'
8+
VERSION: Final = '0.2.33'

‎package/version

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
0.2.32
1+
0.2.33

0 commit comments

Comments
 (0)