create pr gate workflow #22

Merged
BenjaminPalko merged 2 commits from 17-create-pr-checks-workflow into master 2024-12-19 22:53:12 -05:00
BenjaminPalko commented 2024-12-19 22:49:35 -05:00 (Migrated from github.com)
No description provided.
piopi (Migrated from github.com) reviewed 2024-12-19 22:49:35 -05:00
DanMihailescu (Migrated from github.com) approved these changes 2024-12-19 22:52:38 -05:00
Sign in to join this conversation.
No description provided.