collapseBuild Queue
No builds in the queue.
 rvwork-0
1Idle
 rvwork-2
1Idle
2Idle
3Idle
 rvwork-3
1Idle
2Idle
3Idle
 rvwork-4
1Idle
2Idle
3Idle
collapseEC2 Fleet Status

SuccessScan Repository Log

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

  Checking branches...

  Getting remote branches...

    Checking branch master

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

    Checking branch deploy

    Checking branch deploy--checkout

    Checking branch dockerfile

    Checking branch evmc_anvacaru

    Checking branch feature--enable-ssl

    Checking branch gas-analysis

    Checking branch gen_tx

    Checking branch ltl-instrumentation

    Checking branch project-structure

    Checking branch status-fields

    Checking branch update-coverage

    Checking branch web--update-homepage

  13 branches were processed

  Checking pull-requests...

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

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

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

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

  4 pull requests were processed

Finished examining runtimeverification/firefly

[Fri Feb 14 05:03:06 CST 2020] Finished branch indexing. Indexing took 6 sec
Evaluating orphaned items in firefly
Will not remove PR-597 because it is new
Will not remove PR-592 because it is new
Will not remove PR-595 because it is new
Will not remove PR-593 because it is new
Will not remove PR-586 because it is new
Will not remove PR-591 because it is new
Will remove PR-585 as it is too old
Will remove PR-581 as it is too old
Will remove PR-579 as it is too old
Will remove PR-560 as it is too old
Will remove PR-571 as it is too old
Will remove PR-458 as it is too old
Finished: SUCCESS