CI: Use TLAUC --skip numsets instead of unicode_number_set_shim.py#181

ahelwer merged 1 commit into

tlaplus:mastertlaplus/Examples:masterfrom

ahelwer:tlauc-skip-numsetsahelwer/Examples:tlauc-skip-numsetsCopy head branch name to clipboard