Skip to content

πŸ”§ chore(repo): align basic-cli examples, docs, and CI validation#3

Merged
zrr1999 merged 16 commits into
mainfrom
feat/platform-tests
Apr 12, 2026
Merged

πŸ”§ chore(repo): align basic-cli examples, docs, and CI validation#3
zrr1999 merged 16 commits into
mainfrom
feat/platform-tests

Conversation

@zrr1999

@zrr1999 zrr1999 commented Apr 6, 2026

Copy link
Copy Markdown
Member

Summary

  • split CI into focused PR/static/test workflows and remove the old monolithic workflow
  • validate the current truthful surface only: format/check/build platform modules and examples, plus smoke-run examples/hello.sp
  • pin the checked-out spore revision in CI so results stay reproducible
  • remove stale host-backed examples and the placeholder platform/main.sp
  • refresh README and example comments to match the current CLI, capability docs, and SEP references

Validation

  • CI - Tests/host
  • CI - Tests/spore
  • CI - Static Checks/prek

Notes

  • this PR intentionally keeps the current loose repo layout
  • canonical spore.toml + src/ platform-package migration will follow in a separate PR

This information is embedded by the av CLI when creating PRs to track the status of stacks when using Aviator. Please do not delete or edit this section of the PR.

{"parent":"main","parentHead":"","trunk":"main"}

-->

zrr1999 and others added 3 commits April 7, 2026 00:42
- Add tests/platform_check.sp with 34 specs across 13 pure helpers
- Fix clause ordering in File.sp, Dir.sp, Cmd.sp (! before uses)
- Fix main.sp import syntax, examples remove invalid top-level uses
- Add spore-check job to CI workflow

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
The spore test subcommand is in spore-lang/spore PR #55 and not yet
on main. Remove the step to unblock CI; re-add once #55 merges.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
…-style prek baseline, split CI into static/tests/PR\nchecks, and keep the existing host plus Spore integration coverage\nunder the normalized workflow structure.\n\nCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
@zrr1999 zrr1999 changed the title feat: add platform spec tests, fix syntax issues, update CI ✨ feat: add platform spec tests, fix syntax issues, update CI Apr 7, 2026
zrr1999 and others added 9 commits April 7, 2026 22:33
…follow-up zendev action fix that validates titles from source\nwithout depending on hatch-vcs metadata in a checked-out .git-less\naction bundle.\n\nCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
…intermediate portable-action commit to the final source-load\nfix in zendev, which removes the remaining import-chain dependency in\nremote action executions.\n\nCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
…zrr1999/zendev-actions wrapper instead of consuming\nthe action embedded in zendev directly. The wrapper now shells out via\nuvx --from git+ to zendev-validate-title.\n\nCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Drop the fake tests/platform_check.sp fixture, stop advertising Spore-side regression coverage that the repo does not actually have, and only run spore test in CI when real tests exist.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
…workaround

- Restore /// doc comments on all platform/*.sp files (spore formatter now preserves them)
- Fix error set syntax: ! [Error] β†’ ! Error (D11: pipes, no brackets)
- Fix clause order: ! before uses (parser requirement)
- Fix hello.sp: remove invalid module-level uses, Unit β†’ ()
- Remove Ruby error-set normalization workaround from CI (no longer needed)
- Fix README: update code example and error set documentation

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
@zrr1999 zrr1999 changed the title ✨ feat: add platform spec tests, fix syntax issues, update CI 🧹 chore: align basic-cli examples, docs, and CI validation Apr 11, 2026
@zrr1999 zrr1999 changed the title 🧹 chore: align basic-cli examples, docs, and CI validation πŸ”§ chore(repo): align basic-cli examples, docs, and CI validation Apr 12, 2026
@zrr1999
zrr1999 merged commit 3df8837 into main Apr 12, 2026
5 checks passed
@zrr1999
zrr1999 deleted the feat/platform-tests branch April 12, 2026 15:38
zrr1999 added a commit that referenced this pull request Apr 24, 2026
* feat: add platform spec tests, fix syntax issues, update CI

- Add tests/platform_check.sp with 34 specs across 13 pure helpers
- Fix clause ordering in File.sp, Dir.sp, Cmd.sp (! before uses)
- Fix main.sp import syntax, examples remove invalid top-level uses
- Add spore-check job to CI workflow

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

* ci: remove spore test step until spore-test lands on main

The spore test subcommand is in spore-lang/spore PR #55 and not yet
on main. Remove the step to unblock CI; re-add once #55 merges.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

* πŸ‘· ci: standardize zendev checks and workflow layout\n\nAdopt a zendev-style prek baseline, split CI into static/tests/PR\nchecks, and keep the existing host plus Spore integration coverage\nunder the normalized workflow structure.\n\nCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

* πŸ‘· ci: repin PR title validation to portable zendev action\n\nUse the follow-up zendev action fix that validates titles from source\nwithout depending on hatch-vcs metadata in a checked-out .git-less\naction bundle.\n\nCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

* πŸ‘· ci: repin PR title validation to final zendev fix\n\nMove from the intermediate portable-action commit to the final source-load\nfix in zendev, which removes the remaining import-chain dependency in\nremote action executions.\n\nCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

* πŸ‘· ci: switch PR title checks to zendev-actions\n\nUse the standalone zrr1999/zendev-actions wrapper instead of consuming\nthe action embedded in zendev directly. The wrapper now shells out via\nuvx --from git+ to zendev-validate-title.\n\nCo-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

* πŸ”§ expand basic-cli CI coverage

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

* πŸ‘· ci: tighten basic-cli example coverage

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

* πŸ“ docs: tighten examples wording

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

* πŸ§ͺ test: remove misleading spec smoke

Drop the fake tests/platform_check.sp fixture, stop advertising Spore-side regression coverage that the repo does not actually have, and only run spore test in CI when real tests exist.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

* πŸ› fix: restore doc comments, fix error set syntax (D11), remove Ruby workaround

- Restore /// doc comments on all platform/*.sp files (spore formatter now preserves them)
- Fix error set syntax: ! [Error] β†’ ! Error (D11: pipes, no brackets)
- Fix clause order: ! before uses (parser requirement)
- Fix hello.sp: remove invalid module-level uses, Unit β†’ ()
- Remove Ruby error-set normalization workaround from CI (no longer needed)
- Fix README: update code example and error set documentation

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

* chore: align examples, docs, and CI validation

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

* chore: repin spore CI to current main

* Trigger PR workflows for stacked branches

* πŸ‘· ci: validate PR description headings

* οΏ½οΏ½ ci: unify PR body check naming

---------

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
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