Action cleanup

.github/workflows/aeneas.yml

@@ -1,13 +1,7 @@
 # Confirm Aeneas extraction succeeds
 
 name: Aeneas extraction
-
-on:
-  push:
-    branches: ['**']
-  pull_request:
-    branches: ['**']
-  workflow_dispatch:
+on: [push]
 
 jobs:
   extract:

.github/workflows/lean.yml

@@ -1,5 +1,4 @@
 name: Lean Verification
-
 # This workflow builds and checks the Lean verification project.
 # It ensures that all proofs compile and that the formal verification remains valid.
 
@@ -11,14 +10,6 @@ on:
       - 'lakefile.toml'
       - 'lean-toolchain'
       - '.github/workflows/lean.yml'
-  pull_request:
-    branches: [ '**' ]
-    # paths:
-    #   - 'Curve25519Dalek/**'
-    #   - 'Utils/**'
-    #   - 'lakefile.toml'
-    #   - 'lean-toolchain'
-    #   - '.github/workflows/lean.yml'
   workflow_dispatch:
 
 env:

.github/workflows/src-diff.yml

@@ -1,13 +1,7 @@
 # Verify src-modifications.diff is up to date with upstream comparison
 
 name: Source modifications check
-
-on:
-  push:
-    branches: ['**']
-  pull_request:
-    branches: ['**']
-  workflow_dispatch:
+on: [push]
 
 jobs:
   src-diff: