Remove workflow

2026-04-23 15:17:09 +00:00 · 2019-12-29 18:40:57 +01:00
parent 303205aea9
commit d86407928d
1 changed files with 0 additions and 21 deletions
--- a/.github/workflows/update_generators.yml
+++ b/.github/workflows/update_generators.yml
@@ -1,21 +0,0 @@
-name: Update Generators
-
-on:
-  push:
-    branches: [master]
-
-jobs:
-  build:
-    runs-on: ubuntu-latest
-    steps:
-    - uses: actions/checkout@v1
-    - name: Update predicate
-      uses: ad-m/github-push-action@master
-      with:
-        repository: misode/predicate
-        github_token: ${{ secrets.GENERATORS_TOKEN }}
-    - name: Update advancement
-      uses: ad-m/github-push-action@master
-      with:
-        repository: misode/advancement
-        github_token: ${{ secrets.GENERATORS_TOKEN }}