.github: update actions to versions that use Node.js 20

[dhalbert]

• Fixes .github: update actions to use Node.js 20 #8832.

checkout@v4 has a new show-progress: true|false option that allows suppressing progress lines, which can make a log a lot longer. Sounded good to me, so I added progress:false everywhere it was used.

upload-artifact@v4 and download-artifact@v4 have been completely rewritten, with some upward incompatibilities. I think they should still work for us, though.

[tannewt]

Thank you!

[jepler]

the doc build error:

Error: Failed to CreateArtifact: Received non-retryable error: Failed request: (409) Conflict: an artifact with this name already exists on the workflow run

It is now an error for two different steps to upload artifacts with the same name. Some people do it on purpose, though I do not know whether we do or not. I imagine the change was made out of belief that it was an error that should be diagnosed.

the silabs error is the usual spurious build error, which remains not fully understood.

[dhalbert]

I opened this issue: carlosperate/arm-none-eabi-gcc-action#49 to ask for that action to be updated. We could submit a PR too.

I may also make the -j4 change here too: https://github.blog/2024-01-17-github-hosted-runners-double-the-power-for-open-source/

[dhalbert]

It is now an error for two different steps to upload artifacts with the same name.

I fixed this, now it builds doc-html and doc-latexpdf, instead of two docs.

[dhalbert]

I took out the PARALLEL stuff in tools/build_release_files.py because it wasn't actually used anywhere.

[tannewt]

Thank you!