mirror of
https://github.com/jerryscript-project/jerryscript.git
synced 2026-01-25 01:06:26 +00:00
Don't even start the job if the workflow event is not a push to the master repo. JerryScript-DCO-1.0-Signed-off-by: Akos Kiss akiss@inf.u-szeged.hu