collapseBuild Queue
No builds in the queue.
collapseEC2 Fleet Status

SuccessScan Repository Log

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

  Checking branches...

  Getting remote branches...

    Checking branch master

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

    Checking branch anvacaru

    Checking branch coverage

    Checking branch demo

    Checking branch update_link

  5 branches were processed

  Checking pull-requests...

  0 pull requests were processed

Finished examining runtimeverification/firefly-demo

[Thu Feb 13 14:00:02 CST 2020] Finished branch indexing. Indexing took 1.6 sec
Evaluating orphaned items in firefly-demo
Will remove PR-15 as it is too old
Will remove PR-14 as it is too old
Will remove PR-13 as it is too old
Will remove PR-12 as it is too old
Will remove PR-11 as it is too old
Finished: SUCCESS