collapseBuild Queue
No builds in the queue.
collapseEC2 Fleet Status

SuccessScan Repository Log

Started by timer
[Fri Sep 18 02:53:00 CDT 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 5863b688e7faa48f86ae5d041052bcac96c755e3)

    Checking branch _update-deps_deps_k_release

    Checking branch _update-deps_kframework_k

    Checking branch adjust-includes

    Checking branch build_test

    Checking branch compile

    Checking branch debug

    Checking branch delete_legacy

    Checking branch dump_option

    Checking branch ecdsaPubKeyHook

    Checking branch ecpairing

    Checking branch logging

    Checking branch long_chainid

    Checking branch ocaml-ecdsapubkey-fix

    Checking branch option

    Checking branch plutus

    Checking branch status_code

    Checking branch submodule_uwebsockets

    Checking branch symbol

    Checking branch unix_socket

    Checking branch web3_doneReading

  21 branches were processed

  Checking pull-requests...

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

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

  2 pull requests were processed

Finished examining runtimeverification/blockchain-k-plugin

[Fri Sep 18 02:53:06 CDT 2020] Finished branch indexing. Indexing took 5.2 sec
Evaluating orphaned items in blockchain-k-plugin
Will not remove PR-115 because it is new
Will remove PR-119 as it is too old
Finished: SUCCESS