Run generate in pull requests too

Author: pquentin

.github/workflows/generate.yml

@@ -7,11 +7,8 @@ on:
       - '7.17'
       - '8.[0-9]+'
 
-  # For debugging purposes:
-  # pull_request:
-  #   types: [opened, synchronize, reopened]
-  #   branches:
-  #     - main
+  pull_request:
+    types: [opened, synchronize, reopened]
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.ref }}
@@ -71,16 +68,3 @@ jobs:
         git add -A ./output
         git commit -m "Update specification output"
         git push
-
-    # For debugging purposes:
-    # - name: Push Output
-    #   if: steps.changes.outputs.has-changes == '1'
-    #   env:
-    #     BRANCH_NAME: output_${{ github.run_id }}_${{ github.run_attempt }}
-    #   run: |
-    #     git fetch
-    #     git switch main
-
-    #     git add -A ./output
-    #     git commit -m "Update specification output"
-    #     git push origin HEAD:refs/heads/${{ env.BRANCH_NAME }}