Skip to content

Update dependency: deps/k_release #16

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
wants to merge 11 commits into
base: master
Choose a base branch
from
Open

Update dependency: deps/k_release #16

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
11 commits
Select commit Hold shift + click to select a range
6d8354d
deps/k_release: Set Version 7.1.254
rv-auditor May 14, 2025
9d2abef
Set Version: 0.1.6
rv-auditor May 14, 2025
aad0ec4
Merge remote-tracking branch 'origin/master' into _update-deps/runtim…
rv-auditor May 15, 2025
67ccd0c
deps/k_release: Set Version 7.1.255
rv-auditor May 15, 2025
9f3cb96
Set Version: 0.1.7
rv-auditor May 15, 2025
7bf1bdd
deps/k_release: Set Version 7.1.256
rv-auditor May 20, 2025
faa1354
deps/k_release: Set Version 7.1.257
rv-auditor May 20, 2025
d27db69
Merge remote-tracking branch 'origin/master' into _update-deps/runtim…
rv-auditor May 21, 2025
381336d
deps/k_release: Set Version 7.1.258
rv-auditor May 21, 2025
797ce7f
Set Version: 0.1.8
rv-auditor May 21, 2025
e6555d8
deps/k_release: Set Version 7.1.259
rv-auditor May 22, 2025
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.257
7.1.259
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.7
0.1.8
2 changes: 1 addition & 1 deletion pyproject.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"

[tool.poetry]
name = "skribe"
version = "0.1.7"
version = "0.1.8"
description = "Property testing for Stylus smart contracts"
authors = [
"Runtime Verification, Inc. <[email protected]>",
Expand Down