ci: add pull_request trigger to dev workflow#695

Closed

JeremyDev87 wants to merge 1 commit intomasterfrom

taskmaestro/1773814954/pane-2

Commits on Mar 18, 2026

ci: add pull_request trigger to dev workflow for cross-PR type checking (closes #694)
JeremyDev87
committed