From 8f1726591948a100cad50f5a4866e10577803556 Mon Sep 17 00:00:00 2001 From: pyoor Date: Wed, 1 Jun 2022 15:17:43 -0400 Subject: [PATCH] fix: exclude nyx builds --- bugmon/bug.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/bugmon/bug.py b/bugmon/bug.py index 29d5253..e1fd8e1 100644 --- a/bugmon/bug.py +++ b/bugmon/bug.py @@ -145,6 +145,7 @@ def build_flags(self) -> BuildFlags: valgrind = "--enable-valgrind" in self.comment_zero no_opt = "--disable-optimize" in self.comment_zero fuzzilli = "--enable-js-fuzzilli" in self.comment_zero + nyx = False # We don't support nyx builds self._build_flags = BuildFlags( asan, tsan, @@ -154,6 +155,7 @@ def build_flags(self) -> BuildFlags: valgrind, no_opt, fuzzilli, + nyx, ) return self._build_flags