Skip to content

update GitHub actions#14

Merged
RobTillaart merged 2 commits intomasterfrom
develop
Oct 13, 2025
Merged

update GitHub actions#14
RobTillaart merged 2 commits intomasterfrom
develop

Conversation

@RobTillaart
Copy link
Copy Markdown
Owner

No description provided.

@RobTillaart RobTillaart changed the title Develop update GitHub actions Oct 13, 2025
@RobTillaart RobTillaart self-assigned this Oct 13, 2025
@RobTillaart RobTillaart added documentation Improvements or additions to documentation enhancement New feature or request labels Oct 13, 2025
@RobTillaart RobTillaart merged commit ac95497 into master Oct 13, 2025
5 checks passed
@RobTillaart RobTillaart deleted the develop branch October 13, 2025 12:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant