- description: |
Release 8.23.0.0
# uncomment types applicable to the change:
type:
# - feature # introduces a new feature
# - breaking # the API has changed in a breaking way
# - compatible # the API has changed but is non-breaking
# - optimisation # measurable performance improvements
# - improvement # QoL changes e.g. refactoring
# - bugfix # fixes a defect
# - test # fixes/modifies tests
# - maintenance # not directly related to the code
- release # related to a new release preparation
# - documentation # change in code docs, haddocks...
:warning: You need to review the two CI-changing commits separately, because the first one fixes indentation, so it shows a big diff, but really it isn't :warning:
When the release pipeline ran on the tagged commit here:
It failed silently during the first steps, because the repo was not checked out yet:
If you go to a later run (albeit triggered manually, because the HEAD wasn't the tag anymore), you can see the same step not failing anymore:
Changelog
Context
How to trust this PR (for the CI change)
:warning: You need to review the two CI-changing commits separately, because the first one fixes indentation, so it shows a big diff, but really it isn't :warning:
When the release pipeline ran on the tagged commit here:
It failed silently during the first steps, because the repo was not checked out yet:
If you go to a later run (albeit triggered manually, because the HEAD wasn't the tag anymore), you can see the same step not failing anymore: