collapseBuild Queue
No builds in the queue.
 rvwork-0
1Idle
 rvwork-2
1Idle
2#100999 (Automerge PRs)
3Idle
 rvwork-3
1Idle
2Idle
3Idle
 rvwork-4
1Idle
2Idle
3Idle
collapseEC2 Fleet Status

GitHub Repository haskell-backend

Haskell Backend
   S   WNameLast SuccessLast FailureLast Duration  
Disabled0%
WDescription%
Build stability: All recent builds failed.0
PR-1493N/A 7 days 5 hr - PR 1493: Absolutely no branching during equality evaluation1 min 2 sec 
Disabled40%
WDescription%
Build stability: 3 out of the last 5 builds failed.40
Test Result: 0 tests failing out of a total of 4,444 tests.100
PR-1496 10 days - PR 1496: mapVariables: Avoid capturing variables 11 days - PR 1496: mapVariables: Avoid capturing variables18 min 
Disabled50%
WDescription%
Build stability: 2 out of the last 4 builds failed.50
Test Result: 0 tests failing out of a total of 4,436 tests.100
PR-1503 13 days - PR 1503: Kore.Variables.Binding: Type-safe traversals 16 days - PR 1503: Kore.Variables.Binding: Type-safe traversals16 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,469 tests.100
PR-1512 9 days 10 hr - PR 1512: Overload matching 10 days - PR 1512: Overload matching17 min 
Disabled75%
WDescription%
Build stability: 1 out of the last 4 builds failed.75
Test Result: 0 tests failing out of a total of 4,473 tests.100
PR-1514 6 days 12 hr - PR 1514: Proving lemmas doc 15 days - PR 1514: Proving lemmas doc16 min 
Disabled0%
WDescription%
Build stability: All recent builds failed.0
PR-1515N/A 10 days - #97 min 17 sec 
Disabled100%
WDescription%
Test Result: 0 tests failing out of a total of 4,436 tests.100
Build stability: No recent builds failed.100
PR-1517 10 days - PR 1517: One path algorithm limitationsN/A16 min 
Disabled100%
WDescription%
Test Result: 0 tests failing out of a total of 4,477 tests.100
Build stability: No recent builds failed.100
PR-1518 2 days 10 hr - PR 1518: Reject claims with universally-quantified variables appearing only on the right-hand side 3 days 13 hr - PR 1518: Reject claims with universally-quantified variables appearing only on the right-hand side29 min 
Disabled100%
WDescription%
Test Result: 0 tests failing out of a total of 4,436 tests.100
Build stability: No recent builds failed.100
PR-1519 8 days 18 hr - PR 1519: Do not ignore SMT errors + fix bugs 9 days 13 hr - PR 1519: Do not ignore SMT errors16 min 
Disabled100%
WDescription%
Test Result: 0 tests failing out of a total of 4,469 tests.100
Build stability: No recent builds failed.100
PR-1521 9 days 5 hr - PR 1521: Update dependency: deps/k_releaseN/A17 min 
Disabled100%
WDescription%
Test Result: 0 tests failing out of a total of 4,444 tests.100
Build stability: No recent builds failed.100
PR-1523 9 days 16 hr - PR 1523: Work in progress towards Issue #1491N/A48 min 
Disabled100%
WDescription%
Test Result: 0 tests failing out of a total of 4,475 tests.100
Build stability: No recent builds failed.100
PR-1531 3 days 12 hr - PR 1531: Declare constructors first to the SMT + add SMT declarations to test env 6 days 18 hr - PR 1531: Declare constructors first to the SMT15 min 
Disabled100%
WDescription%
Test Result: 0 tests failing out of a total of 4,436 tests.100
Build stability: No recent builds failed.100
PR-1532 10 days - PR 1532: Prelude.Kore: onN/A17 min 
Disabled0%
WDescription%
Build stability: All recent builds failed.0
Test Result: 1 test failing out of a total of 4,475 tests.99
PR-1533N/A 2 days 15 hr - PR 1533: Short-circuit while unifying constructor arguments17 min 
Disabled100%
WDescription%
Test Result: 0 tests failing out of a total of 4,436 tests.100
Build stability: No recent builds failed.100
PR-1534 10 days - PR 1534: toRepresentationCondition: Use layoutOneLineN/A21 min 
Disabled66%
WDescription%
Build stability: 1 out of the last 3 builds failed.66
Test Result: 0 tests failing out of a total of 4,469 tests.100
PR-1535 8 days 11 hr - PR 1535: Evaluate definition axioms before simplification ones. 10 days - PR 1535: Evaluate definition axioms before simplification ones.20 min 
Disabled50%
WDescription%
Build stability: 2 out of the last 4 builds failed.50
Test Result: 0 tests failing out of a total of 4,469 tests.100
PR-1536 8 days 14 hr - PR 1536: Log function arguments and results 10 days - PR 1536: Log function arguments and results19 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,472 tests.100
PR-1537 8 days 10 hr - PR 1537: Separate substitution priority order from variable names 9 days 9 hr - PR 1537: Separate substitution priority order from variable names20 min 
Disabled100%
WDescription%
Test Result: 0 tests failing out of a total of 4,472 tests.100
Build stability: No recent builds failed.100
PR-1538 8 days 9 hr - PR 1538: Factor class VariableName out of SortedVariableN/A30 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,494 tests.100
PR-1539 2 days 9 hr - PR 1539: Avoid allocation in refreshVariable 2 days 10 hr - PR 1539: Avoid allocation in refreshVariable16 min 
Disabled100%
WDescription%
Test Result: 0 tests failing out of a total of 4,473 tests.100
Build stability: No recent builds failed.100
PR-1541 7 days 11 hr - PR 1541: Update dependency: deps/k_releaseN/A17 min 
Disabled100%
WDescription%
Test Result: 0 tests failing out of a total of 4,473 tests.100
Build stability: No recent builds failed.100
PR-1542 8 days 6 hr - PR 1542: mergeRules: Do not rename rule variables twiceN/A19 min 
Disabled33%
WDescription%
Build stability: 2 out of the last 3 builds failed.33
PR-1543 7 days 17 hr - PR 1543: Issue 1491, part 2 (Refactored SMT to be based on LoggerT) 2 days 11 hr - PR 1543: Issue 1491, part 2 (Refactored SMT to be based on LoggerT)15 min 
Failed0%
WDescription%
Build stability: All recent builds failed.0
PR-1544N/A 13 hr - PR 1544: Kore.Internal.Substitution as a bounded context54 sec 
Disabled100%
WDescription%
Test Result: 0 tests failing out of a total of 4,473 tests.100
Build stability: No recent builds failed.100
PR-1546 7 days 8 hr - PR 1546: Consider only variable identifier for equalityN/A17 min 
Disabled50%
WDescription%
Build stability: 2 out of the last 4 builds failed.50
Test Result: 0 tests failing out of a total of 4,475 tests.100
PR-1548 2 days 11 hr - PR 1548: TermLike: No line break in unparsed comment 3 days 10 hr - PR 1548: TermLike: No line break in unparsed comment16 min 
Disabled100%
WDescription%
Test Result: 0 tests failing out of a total of 4,473 tests.100
Build stability: No recent builds failed.100
PR-1549 5 days 9 hr - PR 1549: Add makefile rule for running the REPL for spec testsN/A18 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,495 tests.100
PR-1552 1 day 18 hr - PR 1552: Use Target variable in exists simplifier 1 day 18 hr - PR 1552: Use Target variable in exists simplifier15 min 
Disabled100%
WDescription%
Test Result: 0 tests failing out of a total of 4,495 tests.100
Build stability: No recent builds failed.100
PR-1558 1 day 8 hr - PR 1558: Prelude.Kore: Export isLeft and isRightN/A22 min 
Disabled100%
WDescription%
Test Result: 0 tests failing out of a total of 4,500 tests.100
Build stability: No recent builds failed.100
PR-1559 1 day 6 hr - PR 1559: Parse Bytes domain values correctlyN/A18 min 
Disabled100%
WDescription%
Test Result: 0 tests failing out of a total of 4,495 tests.100
Build stability: No recent builds failed.100
PR-1562 1 day 10 hr - PR 1562: Jenkinsfile: Set integration test timeout to 24 minutesN/A17 min 
Disabled100%
WDescription%
Test Result: 0 tests failing out of a total of 4,495 tests.100
Build stability: No recent builds failed.100
PR-1564 1 day 14 hr - PR 1564: Remove UnliftIO from SMTN/A18 min 
Success40%
WDescription%
Build stability: 3 out of the last 5 builds failed.40
Test Result: 0 tests failing out of a total of 4,502 tests.100
PR-1565 10 hr - PR 1565: Simplify claims with side conditions 11 hr - PR 1565: Simplify claims with side conditions27 min 
Disabled100%
WDescription%
Test Result: 0 tests failing out of a total of 4,500 tests.100
Build stability: No recent builds failed.100
PR-1566 10 hr - PR 1566: Prelude.Kore: MonadION/A17 min 
Disabled100%
WDescription%
Test Result: 0 tests failing out of a total of 4,500 tests.100
Build stability: No recent builds failed.100
PR-1567 9 hr 33 min - PR 1567: Remove unliftio from dependenciesN/A24 min 
Success100%
WDescription%
Test Result: 0 tests failing out of a total of 4,495 tests.100
Build stability: No recent builds failed.100
PR-1568 14 hr - PR 1568: Sorting simplification axiomsN/A18 min 
Success100%
WDescription%
Test Result: 0 tests failing out of a total of 4,495 tests.100
Build stability: No recent builds failed.100
PR-1569 12 hr - PR 1569: SimpleSMT: Do not capture LogAction at initializationN/A16 min 
Success100%
WDescription%
Test Result: 0 tests failing out of a total of 4,500 tests.100
Build stability: No recent builds failed.100
PR-1571 12 hr - PR 1571: Red for stuck nodes in the repl graph.N/A17 min 
Failed0%
WDescription%
Build stability: All recent builds failed.0
PR-1572N/A 11 hr - PR 1572: Pretty predicates20 min 
Icon:  S M L