Skip to content

ci: add workflow for pull requests#2

Merged
louib merged 1 commit intomainfrom add_ci_workflowAug 13, 2023

Commits

Commits on Aug 13, 2023