master
build(deps): bump actions/upload-artifact from 6 to 7
maint: render manual pages and upload to sources site
build(deps): bump actions/checkout from 5 to 6
maint: rewrite workflows to get mail notifications upon setting labels
build(deps): bump actions/github-script from 8 to 9
maint: fix variable usage in PR labeling workflow
maint: automatically remove milestones from rejected issues
maint: only remove PR milestone if triggered by event
maint: make it possible to PR labeler manually
build(deps): bump actions/download-artifact from 7 to 8