Skip to content

👷 ci: simplify Spore workflow access#16

Closed
zrr1999 wants to merge 3 commits into
mainfrom
quality/basic-cli-ci-hygiene
Closed

👷 ci: simplify Spore workflow access#16
zrr1999 wants to merge 3 commits into
mainfrom
quality/basic-cli-ci-hygiene

Conversation

@zrr1999
Copy link
Copy Markdown
Member

@zrr1999 zrr1999 commented Apr 28, 2026

Summary

  • remove the spore compiler access probe and unconditional gating from ci-tests.yml
  • always run the Spore workflow against the checked-out compiler sources
  • ignore _spore_temp/ and test_output.log in git status

Validation

  • git diff --check

Notes

  • this is a follow-up hygiene PR; it keeps the CI workflow simple while the compiler-side checks stay in the main PRs

zrr1999 and others added 2 commits April 26, 2026 12:12
Rename the legacy [platform].handles key to [platform].handled-effects in the platform manifest and related documentation.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
@zrr1999
Copy link
Copy Markdown
Member Author

zrr1999 commented May 1, 2026

@copilot resolve the merge conflicts in this pull request

…hygiene

# Conflicts:
#	.github/workflows/ci-tests.yml
#	README.md
#	spore.toml

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

Done — merged origin/main into this branch and resolved all three conflicts in commit 5bc9dcd:

  • ci-tests.yml: dropped the stale SPORE_REPOSITORY/SPORE_REF env vars and compiler-checkout step; accepted the astral-sh/setup-uv@v6 + uv tool install spore-lang==0.0.3 approach from main.
  • README.md: took main's updated effect-terminology wording in both conflicted sections.
  • spore.toml: took main's version (removed the [capabilities] section).

Copilot finished work on behalf of zrr1999 May 1, 2026 05:54
@zrr1999 zrr1999 closed this May 1, 2026
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