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