Skip to content

CI tightening#129

Merged
jsugg merged 4 commits intomainfrom
ci_tightening
Mar 29, 2026
Merged

CI tightening#129
jsugg merged 4 commits intomainfrom
ci_tightening

Conversation

@jsugg
Copy link
Copy Markdown
Owner

@jsugg jsugg commented Mar 28, 2026

Summary

Simple PR focused on avoiding unnecessary CI workflow runs (e.g., modifying a single unrelated Markdown file triggers the entire suite)

@jsugg jsugg changed the title Ci tightening CI tightening Mar 28, 2026
@jsugg jsugg merged commit 02dad09 into main Mar 29, 2026
16 checks passed
@jsugg jsugg deleted the ci_tightening branch March 29, 2026 00:08
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