From 3ad4caaea4a55ab08bfa65d7140fb8fc5c478c65 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Andreas=20L=C3=A4ndle?= Date: Tue, 20 Jun 2023 06:25:38 +0200 Subject: [PATCH] Skip chronos-test for now. --- build-constraints.yaml | 1 + 1 file changed, 1 insertion(+) diff --git a/build-constraints.yaml b/build-constraints.yaml index d48c9a91..9cf8a352 100644 --- a/build-constraints.yaml +++ b/build-constraints.yaml @@ -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