Details
-
Bug
-
Resolution: Fixed
-
Medium
Description
Merging a PR does not finish since around 8:40 CET (still see the "process-wheel"). See also attached screenshot.
PR is https://bitbucket.org/wiethe/automation/pull-requests/50/general-documentation-generation-renew/diff