Details
-
Sub-task
-
Status: Resolved
-
Major
-
Resolution: Fixed
-
3.2.0
-
None
Description
We should create a Github Actions' Checks in PRs instead of relying on a comment to make it easier to judge if a PR is mergeable or not.