Release v3.0.80

Changes:

• 5938f87 Revert "Improved pipelines by using cached tool installers"
• 8bf9855 Improved pipelines by using cached tool installers

This list of changes was auto generated.