rename github workflow (#2744)

2023-11-26 20:24:39 +01:00
parent 81c803ba64
commit e4f86be005
1 changed files with 1 additions and 1 deletions
@@ -56,7 +56,7 @@ jobs:
            });
          }

-  github_inform_issues:
+  github_notify_issues:
    needs: github_release
    runs-on: ubuntu-22.04