Branch includes the latest PRs that were first merged to a separate branch to take care of some housekeeping like code formatting or updating the changelog file instead of merging to and working on the public master directly.
Also mention in the changelog that github actions is used now.
Branch includes the latest PRs that were first merged to a separate branch to take care of some housekeeping like code formatting or updating the changelog file instead of merging to and working on the public master directly.
Also mention in the changelog that github actions is used now.