[MAINT]: CI / 🐍 3 • CentOS7 / PGI 22.9 • x64: GitHub runner disk size limit exceeded

[rwgk]

• Last successful run: https://github.com/pybind/pybind11/actions/runs/5125751282/jobs/9219347663 (Tue, 30 May 2023 20:03:35 GMT)

• First failing: https://github.com/pybind/pybind11/actions/runs/5172749988/jobs/9317392155 (Mon, 05 Jun 2023 02:59:26 GMT)

Problem:

Total download size: 6.2 G
Installed size: 20 G
...
Transaction check error:
  installing package nvhpc-22-9-22.9-1.x86_64 needs 709MB on the / filesystem
  installing package nvhpc-22.9-1.x86_64 needs 709MB on the / filesystem

Questions:

• Can we find a smaller image?

• Alternatively, can we configure a larger runner? — https://docs.github.com/en/actions/using-github-hosted-runners/using-larger-runners