Closed pgibertini closed 4 months ago
Please check if the PR fulfills these requirements
[x] The commit messages follows our guidelines (explicit, in english)
[ ] Tests for the changes have been added (for bug fixes / features)
[ ] Docs have been added / updated (for bug fixes / features)
[x] CHANGELOG.md has been updated
What kind of change does this PR introduce? (Bug fix, feature, docs update, ...)
[x] Bug fix: CI upload coverage step
[ ] New features:
[ ] Documentation
[ ] Optimization
Other information:
Specific step for fork as PR from fork don't trigger push build. Uses GitHub API to identify the source repo.
Please check if the PR fulfills these requirements
[x] The commit messages follows our guidelines (explicit, in english)
[ ] Tests for the changes have been added (for bug fixes / features)
[ ] Docs have been added / updated (for bug fixes / features)
[x] CHANGELOG.md has been updated
What kind of change does this PR introduce? (Bug fix, feature, docs update, ...)
[x] Bug fix: CI upload coverage step
[ ] New features:
[ ] Documentation
[ ] Optimization
Other information:
Specific step for fork as PR from fork don't trigger push build. Uses GitHub API to identify the source repo.