collapseBuild Queue
No builds in the queue.
collapseEC2 Fleet Status

SuccessScan Repository Log

Started by timer
[Thu Sep 17 14:00:00 CDT 2020] Starting branch indexing...
14:00:01 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...
      ‘Jenkinsfile’ found
    Met criteria
No changes detected: master (still at 5dec2ee4619c5447a6a981e37338799ffdf49154)

    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 Sep 17 14:00:02 CDT 2020] Finished branch indexing. Indexing took 1.8 sec
Evaluating orphaned items in firefly-demo
Will not remove PR-24 because it is new
Will not remove PR-23 because it is new
Will remove PR-20 as it is too old
Finished: SUCCESS