diff --git a/tools/test_everything.py b/tools/test_everything.py
index c123e139..42f1e48d 100755
--- a/tools/test_everything.py
+++ b/tools/test_everything.py
@@ -26,7 +26,6 @@
   '//...',
   '@at_clifford_icestorm//...',
   '@at_clifford_yosys//...',
-  '@com_github_westes_flex//...',
   '@com_github_fmtlib_fmt//...',
   '@com_github_gabime_spdlog//...',
   '@com_github_libbacktrace//...',