Skip to content

bump versions of ci actions#177

Merged
bdewilde merged 2 commits intodevelopfrom
bump-ci-actions
Dec 29, 2025
Merged

bump versions of ci actions#177
bdewilde merged 2 commits intodevelopfrom
bump-ci-actions

Conversation

@bdewilde
Copy link
Member

changes

context

questions

@bdewilde bdewilde marked this pull request as ready for review December 29, 2025 02:56
@bdewilde bdewilde merged commit ffb6e63 into develop Dec 29, 2025
4 checks passed
@bdewilde bdewilde deleted the bump-ci-actions branch December 29, 2025 02:56
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