Skip to content

ci: add pull request trigger to CI workflow#528

Merged
dpascualhe merged 1 commit intoJdeRobot:masterfrom
Armaan-Raisinghani:fix/ci
Apr 17, 2026
Merged

ci: add pull request trigger to CI workflow#528
dpascualhe merged 1 commit intoJdeRobot:masterfrom
Armaan-Raisinghani:fix/ci

Commits

Commits on Mar 28, 2026