Skip to content

🔧 chore(prek): adopt spore-pre-commit formatter#15

Merged
zrr1999 merged 3 commits into
mainfrom
chore/adopt-spore-pre-commit
May 1, 2026
Merged

🔧 chore(prek): adopt spore-pre-commit formatter#15
zrr1999 merged 3 commits into
mainfrom
chore/adopt-spore-pre-commit

Conversation

@zrr1999
Copy link
Copy Markdown
Member

@zrr1999 zrr1999 commented Apr 27, 2026

Summary

  • align the effect-terminology branch with the currently shipped Spore CLI surface
  • keep the canonical project-mode example validated in CI
  • stop CI from treating the standalone hello example as a compiler-gated check target

Validation

  • cargo test --manifest-path host/Cargo.toml
  • spore format --check
  • find src/basic_cli -name '*.sp' -type f | sort | xargs -n 1 spore check
  • spore check examples/hello-app/src/main.sp
  • find src/basic_cli -name '*.sp' -type f | sort | xargs -n 1 spore build
  • spore build examples/hello-app/src/main.sp
  • cd examples/hello-app && spore run src/main.sp
  • spore test

Notes

  • standalone examples/hello.sp remains as a quick experiment, but it is no longer part of the CI compiler checks

Copilot AI and others added 2 commits April 27, 2026 23:56
@zrr1999
Copy link
Copy Markdown
Member Author

zrr1999 commented May 1, 2026

@copilot resolve the merge conflicts in this pull request

…-commit

Co-authored-by: zrr1999 <46243324+zrr1999@users.noreply.github.com>
Copy link
Copy Markdown

Copilot AI commented May 1, 2026

@copilot resolve the merge conflicts in this pull request

Resolved the merge conflict in prek.toml — the file now includes both the actionlint hook from main and the spore-pre-commit formatter from this branch. Merged in commit 4ce9984.

Copilot finished work on behalf of zrr1999 May 1, 2026 05:50
@zrr1999 zrr1999 merged commit 448a4fb into main May 1, 2026
5 checks passed
@zrr1999 zrr1999 deleted the chore/adopt-spore-pre-commit branch May 1, 2026 07:28
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.

3 participants