Skip chronos-test for now.

This commit is contained in:
Andreas Ländle 2023-06-20 06:25:38 +02:00
parent 56d27e1cfe
commit 3ad4caaea4

View File

@ -8195,6 +8195,7 @@ skipped-tests:
- aern2-mp # https://github.com/michalkonecny/aern2/issues/11
# ???
- chronos # 1.1.5 chronos-test: executable not found
- incremental-parser # 0.5.0.3 Main: executable not found
- streamt # executable not found