TO REMOVE

.github/workflows/main.yml

@@ -89,14 +89,3 @@ jobs:
   # rule which prevents merges unless all other jobs are passing. This makes
   # it easier to manage the list of jobs via this yml file and to prevent
   # accidentally adding new jobs without also updating the branch protections.
-  success:
-    name: Success gate
-    if: always()
-    needs:
-      - test
-      - rustfmt
-    runs-on: ubuntu-latest
-    steps:
-      - run: jq --exit-status 'all(.result == "success")' <<< '${{ toJson(needs) }}'
-      - name: Done
-        run: exit 0