This avoids warnings about the actions targeting Node 20. There is no easily available documentation about whether there are any other API changes in the newer versions of these actions - in particular the bump of build-push-action which advances by two versions.