Skip to content

Update dependency: deps/k_release #174

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
rv-jenkins wants to merge 29 commits into
base: master
Choose a base branch
from
Open

Update dependency: deps/k_release #174

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
29 commits
Select commit Hold shift + click to select a range
11bad3d
deps/k_release: Set Version 7.1.319
rv-auditor Apr 27, 2026
cfcd9d9
Set Version: 0.1.127
rv-auditor Apr 27, 2026
0b950ea
pyproject.toml: sync pyk version 7.1.319
rv-auditor Apr 27, 2026
36d0ce1
deps/k_release: Set Version 7.1.321
rv-auditor May 7, 2026
92d2a2c
pyproject.toml: sync pyk version 7.1.321
rv-auditor May 7, 2026
b344d14
deps/k_release: Set Version 7.1.322
rv-auditor May 8, 2026
1d9d98d
pyproject.toml: sync pyk version 7.1.322
rv-auditor May 8, 2026
c71696f
deps/k_release: Set Version 7.1.323
rv-auditor May 12, 2026
33991a3
pyproject.toml: sync pyk version 7.1.323
rv-auditor May 12, 2026
b51c5bf
deps/k_release: Set Version 7.1.324
rv-auditor May 27, 2026
f671c54
pyproject.toml: sync pyk version 7.1.324
rv-auditor May 27, 2026
49c2833
deps/k_release: Set Version 7.1.325
rv-auditor May 27, 2026
4dbe510
pyproject.toml: sync pyk version 7.1.325
rv-auditor May 27, 2026
12222ab
deps/k_release: Set Version 7.1.326
rv-auditor May 28, 2026
6994b51
pyproject.toml: sync pyk version 7.1.326
rv-auditor May 28, 2026
8123ce8
deps/k_release: Set Version 7.1.327
rv-auditor May 28, 2026
c3cea32
pyproject.toml: sync pyk version 7.1.327
rv-auditor May 28, 2026
ac22e7a
deps/k_release: Set Version v7.1.328
rv-auditor May 28, 2026
33dd7f8
deps/k_release: Set Version 7.1.328
rv-auditor May 29, 2026
7e01afa
pyproject.toml: sync pyk version 7.1.328
rv-auditor May 29, 2026
5d5ff1f
deps/k_release: Set Version 7.1.329
rv-auditor May 30, 2026
78e6a55
deps/k_release: Set Version 7.1.330
rv-auditor Jun 3, 2026
a956dd6
pyproject.toml: sync pyk version 7.1.330
rv-auditor Jun 3, 2026
594be19
deps/k_release: Set Version 7.1.331
rv-auditor Jun 4, 2026
848da40
deps/k_release: Set Version 7.1.332
rv-auditor Jun 4, 2026
a60bd35
deps/k_release: Set Version 7.1.333
rv-auditor Jun 5, 2026
1506c82
pyproject.toml: sync pyk version 7.1.333
rv-auditor Jun 5, 2026
802a382
deps/k_release: Set Version 7.1.334
rv-auditor Jun 11, 2026
9929fe4
pyproject.toml: sync pyk version 7.1.334
rv-auditor Jun 11, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion deps/k_release
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
7.1.318
7.1.334
2 changes: 1 addition & 1 deletion package/version
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
0.1.126
0.1.127
4 changes: 2 additions & 2 deletions pyproject.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,12 +4,12 @@ build-backend = "hatchling.build"

[project]
name = "kriscv"
version = "0.1.126"
version = "0.1.127"
description = "K tooling for the RISC-V architecture"
readme = "README.md"
requires-python = "~=3.10"
dependencies = [
"kframework==7.1.318",
"kframework==7.1.334",
"filelock>=3.14.0,<4",
"pyelftools>=0.26",
"pyyaml>=6.0.1,<7",
Expand Down
Loading
Loading