GHA: Comment dev build numbers on PR after merge

[jorisroovers]

Use GHA to leave a comment with on a PR after its merged with a link to the corresponding dev build on PyPI and instructions on how to install it.

[github-actions[bot]]

👋 Test!

[github-actions[bot]]

👋 Test!

[github-actions[bot]]

👋 Test!

[github-actions[bot]]

👋 Test!

[github-actions[bot]]

👋 Test!

[github-actions[bot]]

👋 Test!

[github-actions[bot]]

👋 Test!

[github-actions[bot]]

👋 Test!

[github-actions[bot]]

👋 Test!

[github-actions[bot]]

👋 Test!

[github-actions[bot]]

👋 Test!

[github-actions[bot]]

👋 Test!

[github-actions[bot]]

👋 Test!

[github-actions[bot]]

👋 Test!

[github-actions[bot]]

👋 Test!

[github-actions[bot]]

👋 Test!

[github-actions[bot]]

👋 Test!

[github-actions[bot]]

👋 Test!

[coveralls]

coverage: 99.662%. remained the same when pulling 08f217df8ea0ec24126d4e4bae1585ba43bb3d63 on pr-comment into 0f5ed5cdde677137abe7a737b87c0face4b3cc4a on main.

[github-actions[bot]]

Post release

[github-actions[bot]]

Post release

[github-actions[bot]]

Post release

[github-actions[bot]]

Post release

[github-actions[bot]]

Post release

[github-actions[bot]]

Post release

[github-actions[bot]]

Post release

[github-actions[bot]]

Post release

[github-actions[bot]]

Post release

[github-actions[bot]]

Post release

[github-actions[bot]]

Post release

[github-actions[bot]]

Post release

[github-actions[bot]]

Post release

[github-actions[bot]]

Post release

[github-actions[bot]]

Post release

[github-actions[bot]]

Post release

[github-actions[bot]]

Post release

[github-actions[bot]]

Post release

[github-actions[bot]]

Post release

[github-actions[bot]]

Post release

[github-actions[bot]]

Post release

[github-actions[bot]]

Post release

[github-actions[bot]]

Post release

[github-actions[bot]]

Post release

[github-actions[bot]]

Post release

[github-actions[bot]]

Post release

[github-actions[bot]]

Post release

[github-actions[bot]]

Post release

[github-actions[bot]]

Post release

[github-actions[bot]]

Post release

[github-actions[bot]]

Post release