CI: Update tlaplus/example script parameters#236

ahelwer merged 1 commit into

tlaplus:maintlaplus/tlapm:mainfrom

ahelwer:ci-example-scriptsahelwer/tlapm:ci-example-scriptsCopy head branch name to clipboard