Update and fix GitHub Actions.