collapseBuild Queue
No builds in the queue.
collapseEC2 Fleet Status

SuccessScan Repository Log

Started by timer
[Fri Mar 27 05:03:00 CDT 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 7e831fd2d180ad8d40677fd7bad9ed279a11190a)

    Checking branch debug_trace

    Checking branch deploy

    Checking branch deploy--checkout

    Checking branch dockerfile_test

    Checking branch evmc_anvacaru

    Checking branch feature--enable-ssl

    Checking branch gas-analysis

    Checking branch ltl-instrumentation

    Checking branch project-structure

    Checking branch test_package

    Checking branch web--update-homepage

  12 branches were processed

  Checking pull-requests...

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

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

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

  3 pull requests were processed

Finished examining runtimeverification/firefly

[Fri Mar 27 05:03:04 CDT 2020] Finished branch indexing. Indexing took 3.6 sec
Evaluating orphaned items in firefly
Will not remove PR-694 because it is new
Will not remove PR-687 because it is new
Will not remove PR-683 because it is new
Will not remove PR-677 because it is new
Will not remove PR-676 because it is new
Will remove PR-672 as it is too old
Will remove PR-670 as it is too old
Will remove PR-615 as it is too old
Will remove PR-648 as it is too old
Will remove PR-650 as it is too old
Finished: SUCCESS