Skip to content

Bugfix/add ninja to GitHub runner#187

Merged
pcaspers merged 2 commits intoOpenSourceRisk:masterfrom
Model-Validation:bugfix/add-ninja-to-github-runner
Oct 16, 2023
Merged

Bugfix/add ninja to GitHub runner#187
pcaspers merged 2 commits intoOpenSourceRisk:masterfrom
Model-Validation:bugfix/add-ninja-to-github-runner

Commits

Commits on Oct 16, 2023