collapseBuild Queue
No builds in the queue.
collapseEC2 Fleet Status

SuccessScan Repository Log

Started by timer
[Thu Sep 17 15:54:00 CDT 2020] Starting branch indexing...
15:54:01 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 949b0a1be576e86b15a57845c0b67e4571c9c86b)

    Checking branch backup

    Checking branch critical-issues

    Checking branch daejunpark-patch-1

    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 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 sqrt

    Checking branch uniswap

    Checking branch zepplin-0.5.0

  24 branches were processed

  Checking pull-requests...

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

    Checking pull request #291
      ‘Jenkinsfile’ found
      Not mergeable, but will be built anyway
    Met criteria
No changes detected: PR-291 (still at cfe57c607d912a8b4e42ae8ee7b91715ac963532)

  2 pull requests were processed

Finished examining runtimeverification/verified-smart-contracts

[Thu Sep 17 15:54:05 CDT 2020] Finished branch indexing. Indexing took 4.7 sec
Finished: SUCCESS