From d8dbfe0f3ce2c807a683902e16ed68f435627388 Mon Sep 17 00:00:00 2001
From: Evgeniy Zdanovich <zdanovichevgeny@gmail.com>
Date: Wed, 22 Jan 2025 19:02:25 +0100
Subject: [PATCH] Make prover CI workflow run only on pull requests (thus
 disabling the run on merge).

---
 .github/workflows/prover.yml | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/.github/workflows/prover.yml b/.github/workflows/prover.yml
index 9eb41517f..7ac1cb53f 100644
--- a/.github/workflows/prover.yml
+++ b/.github/workflows/prover.yml
@@ -1,10 +1,6 @@
 name: Run prover guest code checks
 
-on:
-  pull_request:
-  merge_group:
-  push:
-    branches: [main]
+on: pull_request
 
 permissions: {}