Skip to content

Update GitHub actions CI; update & unpin Rubocop#178

Merged
thatbudakguy merged 3 commits into
mainfrom
update-gh-actions
Nov 14, 2025
Merged

Update GitHub actions CI; update & unpin Rubocop#178
thatbudakguy merged 3 commits into
mainfrom
update-gh-actions

Conversation

@thatbudakguy

Copy link
Copy Markdown
Member

No description provided.

@thatbudakguy thatbudakguy changed the title Update some GitHub action versions and make coverage artifact unique Update GitHub actions CI; update & unpin Rubocop May 23, 2025
@thatbudakguy thatbudakguy requested a review from ewlarson May 23, 2025 16:58
@thatbudakguy thatbudakguy merged commit 26204d5 into main Nov 14, 2025
7 checks passed
@thatbudakguy thatbudakguy deleted the update-gh-actions branch November 14, 2025 18:00
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