Upgrade GitHub workflows: migrate java distribution from `adopt` to `temurin`, see #1476
Upgrade GitHub workflows: migrate java distribution from
adopttotemurin, see #1476