Skip to content

Chore: bump python-multiplatform and typedpython-gate to 3.15.0-alpha02 (#119) - #120

Merged
b-re-w merged 1 commit into
developfrom
feat/pmp-3.15.0-alpha02
Oct 31, 2026
Merged

b-re-w merged 1 commit into
developfrom
feat/pmp-3.15.0-alpha02

Conversation

@b-re-w

@b-re-w b-re-w commented Oct 31, 2026

Copy link
Copy Markdown
Member

Closes #119

Summary

  • Bump DEFAULT_TYPEDPYTHON_GATE (TypedpythonGate.kt), usage-example/gradle/libs.versions.toml, AGENTS.md, docs/SPEC.md, .github/workflows/test.yml, TypedpythonGateTest.kt, and TypedpythonGateArtifactTest.kt from 3.15.0-alpha01 to 3.15.0-alpha02.
  • Update the comment in toolchain/build.gradle.kts from "which is not on PyPI yet" to "which is not published to PyPI (it ships with the GitHub Release and the distribution)".

Verification

  • :toolchain:test --rerun --tests "*TypedpythonGateTest" --tests "*TypedpythonGateArtifactTest" --tests "*TypedpythonDecisionsTest" --tests "*TypedpythonNoWheelTest" --tests "*PublishedPythonVersionTest": 32 tests, 0 failures, 0 skips.
  • ./gradlew :toolchain:publishToMavenLocal and ./gradlew -p usage-example typedpythonCheck --rerun: BUILD SUCCESSFUL (typedpython checked: 1 file(s), 0 errors, 0 warning(s)).

@b-re-w
b-re-w merged commit 9c676d7 into develop Oct 31, 2026
5 checks passed
@b-re-w
b-re-w deleted the feat/pmp-3.15.0-alpha02 branch October 31, 2026 14:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant