Skip to content
This repository has been archived by the owner on Apr 25, 2024. It is now read-only.

Update dependency: deps/k_release #1071

Closed
wants to merge 15 commits into from
Closed

Update dependency: deps/k_release #1071

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
15 commits
Select commit Hold shift + click to select a range
8f04917
deps/k_release: Set Version 6.3.78
Apr 9, 2024
0034583
Set K Version: 6.3.78
Apr 9, 2024
a214373
Merge 0034583a10a5b47e049f22ea93b9a5bcf0717af3 into f705bcd96224b80a3…
rv-jenkins Apr 9, 2024
ddd2179
Set Version: 0.1.779
Apr 9, 2024
080b07d
Merge remote-tracking branch 'origin/master' into _update-deps/runtim…
Apr 9, 2024
7e5c44e
deps/k_release: Set Version 6.3.79
Apr 9, 2024
ecdb7a0
Set K Version: 6.3.79
Apr 9, 2024
20f2bce
Merge ecdb7a0162d9794e506ffc5164542f042a7c7229 into 68bffc5ed0994d2c4…
rv-jenkins Apr 9, 2024
71801f6
Set Version: 0.1.780
Apr 9, 2024
38db72e
deps/k_release: Set Version 6.3.80
Apr 10, 2024
14f1c70
Set K Version: 6.3.80
Apr 10, 2024
b971300
deps/k_release: Set Version 6.3.81
Apr 11, 2024
b4acdbd
Set K Version: 6.3.81
Apr 11, 2024
25065e7
deps/k_release: Set Version 6.3.82
Apr 11, 2024
19c90c5
Set K Version: 6.3.82
Apr 11, 2024
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 @@
6.3.77
6.3.82
4 changes: 2 additions & 2 deletions docs/conf.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,8 +9,8 @@
project = 'pyk'
author = 'Runtime Verification, Inc'
copyright = '2024, Runtime Verification, Inc'
version = '0.1.779'
release = '0.1.779'
version = '0.1.780'
release = '0.1.780'

# -- General configuration ---------------------------------------------------
# https://www.sphinx-doc.org/en/master/usage/configuration.html#general-configuration
Expand Down
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.779
0.1.780
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 = "pyk"
version = "0.1.779"
version = "0.1.780"
description = ""
authors = [
"Runtime Verification, Inc. <[email protected]>",
Expand Down
2 changes: 1 addition & 1 deletion src/pyk/__init__.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -6,4 +6,4 @@
from typing import Final


K_VERSION: Final = '6.3.77'
K_VERSION: Final = '6.3.82'
Loading