Fix a job name
Fix a job name

GitHub Actions complains that "Job name posix-build-on-ubuntu-18.04 is invalid. Names must start with a letter or '_' and contain only alphanumeric characters, '-', or '_'."

flintproject/Flint,flintproject/Flint