pauloj's picture
chore: Remove unnecessary history directory creation in GitHub Actions
afb82e2