collapseBuild Queue
No builds in the queue.
collapseEC2 Fleet Status

SuccessScan Repository Log

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

  Checking branches...

  Getting remote branches...

    Checking branch master

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

    Checking branch T-solar-mainnet

    Checking branch backup

    Checking branch critical-issues

    Checking branch deposit

    Checking branch erc20-aeternity

    Checking branch erc20-icon

    Checking branch erc20-zilliqa

    Checking branch general-macro

    Checking branch gnosis-bmc-pr

    Checking branch k-upd

    Checking branch keq

    Checking branch keq-work

    Checking branch kerc20-demo

    Checking branch kevm-submodule

    Checking branch kserver

    Checking branch large-scale-evaluation

    Checking branch lemma-refactoring

    Checking branch old-deposit

    Checking branch packed-storage

    Checking branch signatures

    Checking branch sol2evm

    Checking branch solar

    Checking branch solar2

    Checking branch sqrt

    Checking branch uniswap

    Checking branch zepplin-0.5.0

  27 branches were processed

  Checking pull-requests...

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

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

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

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

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

  5 pull requests were processed

Finished examining runtimeverification/verified-smart-contracts

[Thu Feb 13 15:54:06 CST 2020] Finished branch indexing. Indexing took 6.3 sec
Evaluating orphaned items in verified-smart-contracts
Will not remove PR-313 because it is new
Will remove PR-312 as it is too old
Will remove PR-314 as it is too old
Will remove PR-311 as it is too old
Will remove PR-310 as it is too old
Will remove PR-309 as it is too old
Finished: SUCCESS