👷 Make changelog workflow able to push

[dubzzz]

Category:

• ✨ Introduce new features
• 📝 Add or update documentation
• ✅ Add or update tests
• 🐛 Fix a bug
• 🏷️ Add or update types
• ⚡️ Improve performance
• Other(s): ...

Potential impacts:

• Generated values
• Shrink values
• Performance
• Typings
• Other(s): ...

[codesandbox-ci]

This pull request is automatically built and testable in CodeSandbox.

To see build info of the built libraries, click here or the icon next to each commit SHA.

Latest deployment of this branch, based on commit b9a04d8:

Sandbox	Source
Vanilla	Configuration
@fast-check/examples	Configuration

[codecov]

Codecov Report

Merging #3973 (b9a04d8) into main (8b8f88b) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##             main    #3973   +/-   ##
=======================================
  Coverage   94.61%   94.61%           
=======================================
  Files         209      209           
  Lines        5848     5848           
  Branches     1344     1344           
=======================================
  Hits         5533     5533           
  Misses        299      299           
  Partials       16       16           

Flag	Coverage Δ
unit-tests	94.61% <ø> (ø)
unit-tests-14.x-Linux	?
unit-tests-16.x-Linux	94.61% <ø> (ø)
unit-tests-18.x-Linux	?
unit-tests-latest-Linux	94.61% <ø> (ø)

Flags with carried forward coverage won't be shown. Click here to find out more.