Reimport LayrLabs conditions for running CI

Author: aehyvari

.github/workflows/certora-prover.yml

@@ -20,7 +20,22 @@ on:
   workflow_dispatch:
 
 jobs:
-  certora_run_submission:
+  # Compile the contracts and run verification
+  compile_and_verify:
+    name: Compile and verify
+    # Run if it meets one of these conditions:
+    # 1. It's a merged PR from a feat/* branch to dev
+    # 2. It's a push to a certora/* branch
+    # 3. It's a scheduled run
+    # 4. It's a manually triggered run
+    if: >
+      (github.event_name == 'pull_request' &&
+       github.event.pull_request.merged == true &&
+       startsWith(github.head_ref, 'feat/')) ||
+      (github.event_name == 'push' &&
+       startsWith(github.ref, 'refs/heads/certora/')) ||
+      github.event_name == 'schedule' ||
+      github.event_name == 'workflow_dispatch'
     runs-on: ubuntu-latest
     permissions:
       contents: read