github action: set some parameters differently#12

hppritcha wants to merge 1 commit intouofl-capstone-open-mpi:capstone-develuofl-capstone-open-mpi/prrte:capstone-develfrom

hppritcha:test_fork_synchppritcha/prrte:test_fork_syncCopy head branch name to clipboard