The GitHub Actions workflow files .github/workflows/default.yml and .github/workflows/release.yml are nearly identical. We should prevent these redundancies and integrate the release specific parts out of .github/workflows/release.yml into .github/workflows/default.yml.