Skip to content

.github: allow trigger ci manually#45

Merged
grahamc merged 1 commit intoDeterminateSystems:mainfrom colemickens:github-triggerOct 18, 2023

Commits