idris benchmarks have been fixed
commit788e612092b59ac51cf997e1b9d2baaa5c35e9f6
authorAdam Bergmark <adam@bergmark.nl>
dateTue 3 May 2016, 11:24 (10 years ago)
parent1f3de6a
build-constraints.yaml−1
@@ -2762,7 +2762,6 @@ expected-benchmark-failures:
27622762 - gitson
27632763 - hashable
27642764 - http-link-header
2765− - idris
27662765 - jose-jwt
27672766 - lens
27682767 - lucid