collapseBuild Queue
No builds in the queue.
collapseEC2 Fleet Status

GitHub Repository haskell-backend

Haskell Backend
   S   WNameLast SuccessLast FailureLast Duration  
Failed66%
WDescription%
Build stability: 1 out of the last 3 builds failed.66
Test Result: 0 tests failing out of a total of 4,780 tests.100
PR-1902 3 mo 5 days - PR 1902: Add breadth-limit search tests 1 mo 23 days - PR 1902: Add breadth-limit search tests44 min 
Failed0%
WDescription%
Build stability: All recent builds failed.0
PR-2099N/A 3 days 10 hr - PR 2099: sketched out first draft of the new Predicate representation24 min 
Disabled100%
WDescription%
Test Result: 0 tests failing out of a total of 4,838 tests.100
Build stability: No recent builds failed.100
PR-2136 2 days 13 hr - PR 2136: Infer that the right-hand side of claims is defined 10 days - PR 2136: Infer that the right-hand side of claims is defined28 min 
Disabled60%
WDescription%
Build stability: 2 out of the last 5 builds failed.60
Test Result: 0 tests failing out of a total of 4,830 tests.100
PR-2139 8 days 8 hr - PR 2139: Remove MultiAnd's Functor instance 8 days 10 hr - PR 2139: Remove MultiAnd's Functor instance26 min 
Failed0%
WDescription%
Build stability: All recent builds failed.0
Test Result: 24 tests failing out of a total of 4,840 tests.99
PR-2142N/A 5 hr 46 min - PR 2142: Evaluating functions with partial arguments9 min 27 sec 
Disabled80%
WDescription%
Build stability: 1 out of the last 5 builds failed.80
Test Result: 0 tests failing out of a total of 4,835 tests.100
PR-2147 4 days 9 hr - PR 2147: And simplification: substitute function applications for constructors 4 days 10 hr - PR 2147: And simplification: substitute function applications for constructors26 min 
Disabled60%
WDescription%
Build stability: 2 out of the last 5 builds failed.60
Test Result: 0 tests failing out of a total of 4,836 tests.100
PR-2154 2 days 17 hr - PR 2154: mkDefined doesn't preserve "simplified" attribute 4 days 0 hr - #1028 min 
Failed0%
WDescription%
Build stability: All recent builds failed.0
Test Result: 1 test failing out of a total of 4,847 tests.99
PR-2156 3 days 11 hr - PR 2156: Do not resimplify if new side condition is top 2 days 11 hr - PR 2156: Do not resimplify if new side condition is top28 min 
Disabled100%
WDescription%
Test Result: 0 tests failing out of a total of 4,830 tests.100
Build stability: No recent builds failed.100
PR-2159 8 days 6 hr - PR 2159: kore-0.30.0.0N/A35 min 
Disabled100%
WDescription%
Test Result: 0 tests failing out of a total of 4,835 tests.100
Build stability: No recent builds failed.100
PR-2161 3 days 22 hr - PR 2161: Delete unused modulesN/A27 min 
Failed0%
WDescription%
Build stability: All recent builds failed.0
PR-2162N/A 1 day 8 hr - PR 2162: Use DeriveAnyClass9 min 27 sec 
Disabled100%
WDescription%
Test Result: 0 tests failing out of a total of 4,835 tests.100
Build stability: No recent builds failed.100
PR-2163 3 days 23 hr - PR 2163: test/include.mk: Do not hide stderrN/A31 min 
Disabled100%
WDescription%
Test Result: 0 tests failing out of a total of 4,839 tests.100
Build stability: No recent builds failed.100
PR-2164 1 day 17 hr - PR 2164: Disable function evaluation when simplifying Equation's argument predicateN/A34 min 
Failed0%
WDescription%
Build stability: All recent builds failed.0
Test Result: 12 tests failing out of a total of 4,835 tests.99
PR-2165N/A 3 days 11 hr - PR 2165: Normalize order of terms in \equals11 min 
Success66%
WDescription%
Build stability: 1 out of the last 3 builds failed.66
Test Result: 0 tests failing out of a total of 4,843 tests.100
PR-2166 1 day 14 hr - PR 2166: Simplification.And.retractLocalFunction: cases for sort inj and builtins 2 days 15 hr - PR 2166: Simplification.And.retractLocalFunction: cases for sort inj and builtins27 min 
Disabled80%
WDescription%
Build stability: 1 out of the last 5 builds failed.80
Test Result: 0 tests failing out of a total of 4,840 tests.100
PR-2167 1 day 16 hr - PR 2167: Filter unsatisfiable patterns from the right-hand side of claims 1 day 17 hr - PR 2167: Filter unsatisfiable patterns from the right-hand side of claims28 min 
Failed0%
WDescription%
Build stability: All recent builds failed.0
Test Result: 27 tests failing out of a total of 4,836 tests.99
PR-2168N/A 2 days 1 hr - PR 2168: Added extra check to make sure that equations marked as `NotSimplification` have functions as their LHS9 min 37 sec 
Success40%
WDescription%
Build stability: 3 out of the last 5 builds failed.40
Test Result: 0 tests failing out of a total of 4,843 tests.100
PR-2169 1 day 8 hr - PR 2169: Use hasSimplifiedChildren in term simplifier check 1 day 13 hr - PR 2169: Use hasSimplifiedChildren in term simplifier check28 min 
Failed0%
WDescription%
Build stability: All recent builds failed.0
Test Result: 19 tests failing out of a total of 4,840 tests.99
PR-2170N/A 1 day 11 hr - PR 2170: Move simplifyConjunctionByAssumption to Pattern simplifier9 min 11 sec 
Icon:  S M L