diff --git a/build-constraints.yaml b/build-constraints.yaml index b36dc703..5ce587c3 100644 --- a/build-constraints.yaml +++ b/build-constraints.yaml @@ -4900,6 +4900,7 @@ packages: "8c6794b6 <8c6794b6@gmail.com> @8c6794b6": - hpc-codecov + - miniterion "Hiromi Ishii @konn": - equational-reasoning