main
ci: show_build_failures: fix missing output for configure failures
ci: rework and move build-on-comment action
CI: migrate each workflow to use reusable workflow from dedicated repo
formal: fix workflow permissions
ci: add workflow for automated GitHub release
CI: issue-labeller: fix wrong CRLF line-ending
CI: provide new required secret for S3 endpoint and bucket name
CI: update actions/labeler to v5
CI: push-containers: refresh containers also on modify cmake options