Skip to content

new GitHub actions#138

Merged
JezSonic merged 2 commits intodeveloperfrom
developer---new-github-actions
May 25, 2022
Merged

new GitHub actions#138
JezSonic merged 2 commits intodeveloperfrom
developer---new-github-actions

Conversation

@JezSonic
Copy link
Contributor

No description provided.

@JezSonic JezSonic added Topic: Enhancement New feature or request Topic: Build System Issues with the build system labels May 25, 2022
@JezSonic JezSonic self-assigned this May 25, 2022
@JezSonic JezSonic merged commit d67e807 into developer May 25, 2022
@JezSonic JezSonic deleted the developer---new-github-actions branch May 25, 2022 10:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Topic: Build System Issues with the build system Topic: Enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant