Skip to content

update GitHub actions#20

Merged
RobTillaart merged 1 commit into
masterfrom
develop
Jun 12, 2026
Merged

update GitHub actions#20
RobTillaart merged 1 commit into
masterfrom
develop

Conversation

@RobTillaart

Copy link
Copy Markdown
Owner

No description provided.

@RobTillaart RobTillaart self-assigned this Jun 12, 2026
@RobTillaart RobTillaart added documentation Improvements or additions to documentation enhancement New feature or request labels Jun 12, 2026
@RobTillaart RobTillaart merged commit 2e2f9cd into master Jun 12, 2026
6 checks passed
@RobTillaart RobTillaart deleted the develop branch June 12, 2026 09:49
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