Skip to content

Run fmt and clippy on macOS and Windows for every PR - #3

Merged
noelcserepy merged 1 commit into
mainfrom
t3code/readd-ci
Oct 9, 2026
Merged

noelcserepy merged 1 commit into
mainfrom
t3code/readd-ci

Conversation

@noelcserepy

Copy link
Copy Markdown
Owner

Actions are free on the public repo: the v0.1.0 release run billed 0 ms on Mac, Windows and Ubuntu. CI replaces win.sh check, which is removed, and AGENTS.md now points at CI.

Actions are free now that the repo is public. CI replaces win.sh check,
which ran clippy on win-dev.
@noelcserepy

Copy link
Copy Markdown
Owner Author

Review: pass at 29dfd81

Bugs

Summary

The PR adds macOS and Windows PR checks and removes win.sh check. No introduced behavior defects were found at head 29dfd813c3dce2992bc82b74ee69034ae4f57049.

Verified

  • bash -n .agents/skills/verify-annotate/scripts/win.sh: passed.
  • Subprocess probe: removed check command exits with status 2 and prints updated usage.
  • CI run: both platforms completed checkout, toolchain installation, formatting, and cache setup successfully.
  • Worktree remained clean.

Not verified

  • Clippy results: both CI jobs were still running. CI gates were not rerun locally.
  • App execution: prohibited by review instructions; no app code changed.

Standards

Items

None.

Spec

Merge danger

Door: two-way. Blast radius: narrow. Reverting restores the Windows check command and removes the CI workflow; no data migration or publication occurs. The body makes no merge-danger claim.

Items

None.

verdict: pass

@noelcserepy
noelcserepy merged commit fd213e8 into main Oct 9, 2026
3 checks passed
@noelcserepy
noelcserepy deleted the t3code/readd-ci branch October 9, 2026 07:40
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