Run CI on pushes for main and pull requests separately#13
Merged
IbraheemTuffaha merged 2 commits intomainfrom May 3, 2025
Merged
Run CI on pushes for main and pull requests separately#13IbraheemTuffaha merged 2 commits intomainfrom
IbraheemTuffaha merged 2 commits intomainfrom