fix: ensure run on merge + fix whitespace (#1714)

<!-- 
    🚨 ATTENTION! 🚨 
    
This PR template is REQUIRED. PRs not following this format will be
closed without review.
    
    Requirements:
- PR title must follow commit conventions:
https://www.conventionalcommits.org/en/v1.0.0/
- Label your PR with the correct type (e.g., 🐛 Bug, ✨ Enhancement, 🧪
Test, etc.)
    - Provide clear and specific details in each section
-->

**Motivation:**

Certora runs were not being processed either on PR or on merge. This
ensures the PR runs on merge.

**Modifications:**

* Includes `types: [closed]`
* Adjusts whitespace

**Result:**

Cause Certora runs on merge

Co-authored-by: Nadir Akhtar <9601075+nadir-akhtar@users.noreply.github.com>

Author: nadir-akhtar

.github/workflows/certora-prover.yml

@@ -1,6 +1,7 @@
 on:
   # Run when PRs are merged into main and touch relevant code paths
   pull_request:
+    types: [closed]
     branches:
       - main
     paths:
@@ -29,14 +30,12 @@ jobs:
     # 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) ||
-      (github.event_name == 'push' &&
-       startsWith(github.ref, 'refs/heads/certora/')) ||
+    if: |
+      (github.event_name == 'pull_request' && github.event.pull_request.merged == true) ||
+      (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