From fac02ac143ee2a74929e6ae2949fca4bfd450159 Mon Sep 17 00:00:00 2001 From: mikkonecny Date: Sun, 9 May 2021 00:28:42 +0100 Subject: [PATCH 1/3] add cdar-mBound --- build-constraints.yaml | 1 + 1 file changed, 1 insertion(+) diff --git a/build-constraints.yaml b/build-constraints.yaml index 3c0e0130..97426a6c 100644 --- a/build-constraints.yaml +++ b/build-constraints.yaml @@ -3321,6 +3321,7 @@ packages: - hmpfr - collect-errors - mixed-types-num + - cdar-mBound # - aern2-mp # - aern2-real From 249478ff5294d89dd4a70b58879b9b45b4f20f6c Mon Sep 17 00:00:00 2001 From: mikkonecny Date: Tue, 18 May 2021 18:24:44 +0100 Subject: [PATCH 2/3] add aern2-mp --- build-constraints.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build-constraints.yaml b/build-constraints.yaml index 6a5e5408..a2bd7c04 100644 --- a/build-constraints.yaml +++ b/build-constraints.yaml @@ -3328,7 +3328,7 @@ packages: - collect-errors - mixed-types-num - cdar-mBound - # - aern2-mp + - aern2-mp # - aern2-real "Bartosz Nitka @niteria": From f7b04c618403ae4dcb9f426a90b7a893351c8ca2 Mon Sep 17 00:00:00 2001 From: mikkonecny Date: Wed, 19 May 2021 10:32:21 +0100 Subject: [PATCH 3/3] add aern2-mp (trigger new check) --- build-constraints.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build-constraints.yaml b/build-constraints.yaml index a2bd7c04..76188150 100644 --- a/build-constraints.yaml +++ b/build-constraints.yaml @@ -3329,7 +3329,7 @@ packages: - mixed-types-num - cdar-mBound - aern2-mp - # - aern2-real + # - aern2-real "Bartosz Nitka @niteria": - oeis < 0 # via test-framework