From 4d83e131035af749b4aa604e4ea7d32a7abf9307 Mon Sep 17 00:00:00 2001
From: whitequark <whitequark@whitequark.org>
Date: Fri, 10 Dec 2021 10:48:14 +0000
Subject: [PATCH] CI: fix test discovery command.

---
 .github/workflows/main.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/main.yaml b/.github/workflows/main.yaml
index 36c0aa8..e4144ec 100644
--- a/.github/workflows/main.yaml
+++ b/.github/workflows/main.yaml
@@ -37,7 +37,7 @@ jobs:
       run: |
         export AMARANTH_USE_YOSYS=builtin YOSYS=yowasp-yosys SBY=yowasp-sby SMTBMC=yowasp-yosys-smtbmc
         export PYTHONWARNINGS=error
-        python -m coverage run -m unittest -t . -s tests
+        python -m coverage run -m unittest discover -t . -s tests
         codecov
   document:
     runs-on: ubuntu-latest