Update workflow to be used in merge queue. #3440
programmiriworkflow-pull-requests.yaml
on: pull_request
check-changes
6s
run-coral-jobs
/
Static code analysis
run-coral-jobs
/
Tests
run-coral-jobs
/
TypeScript compiler
Matrix: run-maven-jobs / build
Waiting for pending jobs