collapseBuild Queue
No builds in the queue.
collapseEC2 Fleet Status

SuccessScan Repository Log

Started by timer
[Thu Feb 20 02:53:00 CST 2020] Starting branch indexing...
02:53:00 Connecting to https://api.github.com using dwightguth/****** (GitHub Access Token)
Examining runtimeverification/blockchain-k-plugin

  Checking branches...

  Getting remote branches...

    Checking branch master

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

    Checking branch adjust-includes

    Checking branch compile

    Checking branch debug

    Checking branch dump_option

    Checking branch ecdsaPubKeyHook

    Checking branch ecpairing

    Checking branch logging

    Checking branch ocaml-ecdsapubkey-fix

    Checking branch option

    Checking branch plutus

    Checking branch status_code

    Checking branch symbol

    Checking branch unix_socket

    Checking branch web3_doneReading

  15 branches were processed

  Checking pull-requests...

  0 pull requests were processed

Finished examining runtimeverification/blockchain-k-plugin

[Thu Feb 20 02:53:02 CST 2020] Finished branch indexing. Indexing took 1.6 sec
Evaluating orphaned items in blockchain-k-plugin
Will not remove PR-88 because it is new
Finished: SUCCESS