Add a github workflow that prevents PRs to main that is not coming from dev (#92)#93

Merged

psauvan merged 1 commit intomainfrom dev

Apr 26, 2024

+14

Commits on Apr 26, 2024

Add a github workflow that prevents PRs to main that is not comming from dev (#92 )
AlvaroCubi
authored