expect thyme tests to fail
Some checks failed
check / Stackage check (push) Has been cancelled

This commit is contained in:
Adam Bergmark 2025-09-07 11:29:34 +02:00
parent 34f09cc410
commit 83925144a1

View File

@ -8672,6 +8672,7 @@ skipped-tests:
# general failures
- aern2-mp # https://github.com/michalkonecny/aern2/issues/11
- thyme # quickcheck flakiness
# ???
- chronos # 1.1.6.2 chronos-test: executable not found