Skip to content

Overhaul the GitHub workflows#1493

Merged
rdmark merged 4 commits intodevelopfrom
rdmark-github-workflow-refresh
Nov 6, 2025
Merged

Overhaul the GitHub workflows#1493
rdmark merged 4 commits intodevelopfrom
rdmark-github-workflow-refresh

Conversation

@rdmark
Copy link
Copy Markdown
Member

@rdmark rdmark commented Nov 6, 2025

No description provided.

@rdmark rdmark force-pushed the rdmark-github-workflow-refresh branch from 5395338 to 7e21a63 Compare November 6, 2025 22:20
@rdmark rdmark force-pushed the rdmark-github-workflow-refresh branch from 63e0924 to 525de73 Compare November 6, 2025 22:42
@rdmark rdmark changed the title Bump to the latest GitHub actions, lock to hashes Overhaul the GitHub workflows Nov 6, 2025
@sonarqubecloud
Copy link
Copy Markdown

sonarqubecloud bot commented Nov 6, 2025

@rdmark rdmark marked this pull request as ready for review November 6, 2025 22:53
@rdmark rdmark requested a review from akuker as a code owner November 6, 2025 22:53
@rdmark rdmark merged commit e569ee1 into develop Nov 6, 2025
7 of 15 checks passed
@rdmark rdmark deleted the rdmark-github-workflow-refresh branch November 6, 2025 22:53
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