Repository navigation
Conversation
The shared machine is saturated by local builds, so verification moves to GitHub's runners. tests.yml runs `python -m pytest tests -q -rs` on pull requests into develop, on pushes to work/**, and on demand, in two jobs: - no-binder: this repository alone; the binder tests skip. - with-binder: this repository and thisisthepy/python-multiplatform develop checked out side by side, PYTHONMULTIPLATFORM_HOME pointing at the latter. The tests only read three Kotlin source files from it, so there is no JVM or Gradle step. Side by side rather than nested, because test_wheel.py copies this repository to build the wheel. AGENTS.md section 14 says so, and that local runs are for quick checks of the changed part. feature added: .github/workflows/tests.yml. documentation corrected: AGENTS.md section 14. Local check (no-binder command, worktree without UI.ipynb): 52 passed, 57 skipped. The with-binder job is verified by this pull request's own run. Refs #33
This was referenced Oct 2, 2026
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Closes #33
Adds
.github/workflows/tests.yml. It runs pytest on PRs intodevelop, on pushes towork/**, and on demand, in two jobs:thisisthepy/python-multiplatformdevelopis checked out side by side and passed asPYTHONMULTIPLATFORM_HOME. Only Kotlin sources are read, with no JVM. The checkout is not nested becausetest_wheel.pycopies this repository.Feature added: the workflow. Documentation corrected: AGENTS.md §14.
Verification: this PR's own CI run. Local no-binder check (worktree, no notebook): 52 passed, 57 skipped.