Skip to content

Rewrite CI#18

Merged
TheDaemoness merged 1 commit intomainfrom
newci
Aug 27, 2025
Merged

Rewrite CI#18
TheDaemoness merged 1 commit intomainfrom
newci

Conversation

@TheDaemoness
Copy link
Owner

PR exists for testing.

actions-rs is unmaintained and runners include rustup now,
therefore we're switching to plain commands.

CI is now done for both ec4rs and ec4rs_glob.

CI runs more selectively in PRs than before, based on which files change.
@TheDaemoness TheDaemoness merged commit 4ed2f3c into main Aug 27, 2025
7 checks passed
@TheDaemoness TheDaemoness deleted the newci branch August 27, 2025 00:15
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