From eefa04c7afd1aef94a513c46b3ce0398d73fcbd5 Mon Sep 17 00:00:00 2001
From: Paul Fultz II <pfultz2@yahoo.com>
Date: Wed, 25 May 2022 14:36:59 -0500
Subject: [PATCH] Disable valgrind on CI (#4137)

* Disable valgrind on CI

* Use workflow dispatch
---
 .github/workflows/valgrind.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/valgrind.yml b/.github/workflows/valgrind.yml
index 941f725b6..02ff24d86 100644
--- a/.github/workflows/valgrind.yml
+++ b/.github/workflows/valgrind.yml
@@ -2,7 +2,8 @@
 # Environment reference https://help.github.com/en/actions/reference/virtual-environments-for-github-hosted-runners
 name: valgrind
 
-on: [push, pull_request]
+# on: [push, pull_request]
+on: workflow_dispatch
 
 jobs:
   build: