Skip to content

chore: update github actions#97

Merged
RobertHeim merged 1 commit into
mainfrom
chore/update-pipeline-dependencies
Jun 20, 2026
Merged

chore: update github actions#97
RobertHeim merged 1 commit into
mainfrom
chore/update-pipeline-dependencies

Conversation

@RobertHeim

Copy link
Copy Markdown
Contributor

No description provided.

@RobertHeim RobertHeim added the changelog:chore Maintenance / Chore label Jun 20, 2026
@RobertHeim RobertHeim merged commit f0878ee into main Jun 20, 2026
3 checks passed
@RobertHeim RobertHeim deleted the chore/update-pipeline-dependencies branch June 20, 2026 17:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

changelog:chore Maintenance / Chore

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant