From 720ea29865c64e03a2b0c872e20e0dbf99cf305e Mon Sep 17 00:00:00 2001
From: "Tobin C. Harding" <me@tobin.cc>
Date: Wed, 24 Aug 2022 08:34:57 +1000
Subject: [PATCH] Temporarily disable fuzzing

Honggfuzz is broken, I have no idea why but no PRs can merge while its
broken.
---
 .github/workflows/fuzz.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/fuzz.yml b/.github/workflows/fuzz.yml
index be1ea6d8..81ceff81 100644
--- a/.github/workflows/fuzz.yml
+++ b/.github/workflows/fuzz.yml
@@ -1,6 +1,7 @@
 name: Fuzz
 
-on: [push, pull_request]
+# Temporarily disable job until someone works out how to fix honggfuzz.
+on: []
 
 jobs: