scripts

jngrad · jngrad · commit bd9d67217604 · 2025-10-14T23:05:41.000+02:00
diff --git a/.github/workflows/gitlab.yml b/.github/workflows/gitlab.yml
@@ -36,4 +36,4 @@ jobs:
         env:
           GITHUB_TOKEN: ${{ github.token }}
         run: |
-          sh maintainer/CI/build_cmake.sh pending
+          sh maintainer/gh_post_status.sh pending
diff --git a/.github/workflows/mirrors.yml b/.github/workflows/mirrors.yml
@@ -1,4 +1,4 @@
-name: mirror
+name: mirrors
 
 on:
   push:
