collapseBuild Queue
No builds in the queue.
collapseEC2 Fleet Status

SuccessScan Repository Log

Started by timer
[Fri Feb 14 06:27:00 CST 2020] Starting branch indexing...
06:27:00 Connecting to https://api.github.com using dwightguth/****** (GitHub Access Token)
Examining kframework/kore

  Checking branches...

  Getting remote branches...

    Checking branch master

  Getting remote pull requests...
      ‘Jenkinsfile’ found
    Met criteria
No changes detected: master (still at 9f117c13d08c6f5fb880c2c8cb9b9121bd3e7972)

    Checking branch all-functional

    Checking branch casestudy-K-in-Kore

    Checking branch check_for_function-like

    Checking branch debugger

    Checking branch ehildenb

    Checking branch ehildenb2

    Checking branch kore-in-k

    Checking branch labeled-claims

    Checking branch legacy

    Checking branch nat-proof

    Checking branch overloaded-productions

    Checking branch repl-bug-report

    Checking branch revert-1113-feature--substitution-simplifier

    Checking branch revert-1292-_update-deps/deps/k_release

    Checking branch set-access-bug

    Checking branch smart-constructors

    Checking branch smt-changes

    Checking branch timeout-kevm

    Checking branch unification

    Checking branch update-deps

  21 branches were processed

  Checking pull-requests...

    Checking pull request #1546
      ‘Jenkinsfile’ found
    Met criteria
No changes detected: PR-1546 (still at bd3c7353ed0dd0641a62781638b35d0e5cb8a8d0)

    Checking pull request #1544
      ‘Jenkinsfile’ found
    Met criteria
No changes detected: PR-1544 (still at 2ba1fcb59967b449f7f6c9e1bcd1adc59a1041fb)

    Checking pull request #1543
      ‘Jenkinsfile’ found
    Met criteria
No changes detected: PR-1543 (still at 73080315254e0f0f851d58677574800fabfc4670)

    Checking pull request #1539
      ‘Jenkinsfile’ found
    Met criteria
No changes detected: PR-1539 (still at 44b7d9b05f5b1591dd024f603fc5e0e7300e5366)

    Checking pull request #1533
      ‘Jenkinsfile’ found
      Not mergeable, but will be built anyway
    Met criteria
No changes detected: PR-1533 (still at ba1c2c6d6d77914486e200704c34df921198046a)

    Checking pull request #1531
      ‘Jenkinsfile’ found
    Met criteria
No changes detected: PR-1531 (still at 351a229fe58ea6e6cb1149895e81871c6b180d9c)

    Checking pull request #1518
      ‘Jenkinsfile’ found
    Met criteria
No changes detected: PR-1518 (still at d5d7f084ae127170fcbe2e9a1104db632d30ee35)

    Checking pull request #1514
      ‘Jenkinsfile’ found
    Met criteria
No changes detected: PR-1514 (still at 47245b9a8e03ad824b34bcd528b47902ca14dfa7)

    Checking pull request #1493
      ‘Jenkinsfile’ found
    Met criteria
No changes detected: PR-1493 (still at 1748a6282170fda7d72efb56e9818b322498694c)

  9 pull requests were processed

Finished examining kframework/kore

Examining kframework/evm-semantics

Finished examining kframework/evm-semantics

[Fri Feb 14 06:27:12 CST 2020] Finished branch indexing. Indexing took 11 sec
Evaluating orphaned items in haskell-backend
Will not remove PR-1541 because it is new
Will not remove PR-1542 because it is new
Will not remove PR-1538 because it is new
Will not remove PR-1537 because it is new
Will not remove PR-1535 because it is new
Will not remove PR-1536 because it is new
Will not remove PR-1519 because it is new
Will not remove PR-1521 because it is new
Will not remove PR-1512 because it is new
Will not remove PR-1523 because it is new
Will not remove PR-1515 because it is new
Will not remove PR-1534 because it is new
Will not remove PR-1496 because it is new
Will not remove PR-1532 because it is new
Will not remove PR-1517 because it is new
Will not remove PR-1503 because it is new
Will remove PR-1516 as it is too old
Will remove PR-1502 as it is too old
Will remove PR-1480 as it is too old
Will remove PR-1510 as it is too old
Will remove PR-1507 as it is too old
Will remove PR-1509 as it is too old
Will remove PR-1513 as it is too old
Will remove PR-1500 as it is too old
Will remove PR-1506 as it is too old
Will remove PR-1501 as it is too old
Will remove PR-1486 as it is too old
Will remove PR-1498 as it is too old
Will remove PR-1499 as it is too old
Will remove PR-1495 as it is too old
Will remove PR-1482 as it is too old
Will remove PR-1474 as it is too old
Will remove PR-1497 as it is too old
Will remove PR-1484 as it is too old
Will remove PR-1488 as it is too old
Will remove PR-1489 as it is too old
Will remove PR-1487 as it is too old
Will remove PR-1485 as it is too old
Will remove PR-1479 as it is too old
Will remove PR-1483 as it is too old
Will remove PR-1481 as it is too old
Will remove PR-1478 as it is too old
Will remove PR-1476 as it is too old
Will remove PR-1475 as it is too old
Will remove PR-1463 as it is too old
Will remove PR-1454 as it is too old
Will remove PR-1458 as it is too old
Will remove PR-1470 as it is too old
Will remove PR-1468 as it is too old
Will remove PR-1471 as it is too old
Will remove PR-1469 as it is too old
Will remove PR-1464 as it is too old
Will remove PR-1440 as it is too old
Will remove PR-1459 as it is too old
Will remove PR-1465 as it is too old
Will remove PR-1456 as it is too old
Will remove PR-1455 as it is too old
Finished: SUCCESS