collapseBuild Queue
No builds in the queue.
collapseEC2 Fleet Status

SuccessScan Repository Log

Started by timer
[Thu Feb 13 20:30:00 CST 2020] Starting branch indexing...
20:30:00 Connecting to https://api.github.com using dwightguth/****** (GitHub Access Token)
Examining kframework/evm-semantics

  Checking branches...

  Getting remote branches...

    Checking branch master

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

    Checking branch _update-deps_deps_k

    Checking branch build_release

    Checking branch edsl2

    Checking branch ehildenb

    Checking branch erc20-demo-rv

    Checking branch eth_call_lowBalance

    Checking branch failingpartials

    Checking branch gas-improvement

    Checking branch gh-pages

    Checking branch hkg-haskell

    Checking branch hkg-haskll-yi

    Checking branch investigate

    Checking branch istanbul

    Checking branch json-manip

    Checking branch kevm-with-lemmas

    Checking branch lemma-spec-tests

    Checking branch limit-specs-proofs

    Checking branch list

    Checking branch migrate-web3

    Checking branch more-lemmas

    Checking branch optold2

    Checking branch return-bad-json

    Checking branch rsstore-refactor

    Checking branch separate-tangles

    Checking branch solar

    Checking branch solar2

    Checking branch symtest

    Checking branch truffle_cleanup

    Checking branch uniswap

    Checking branch update-web3-tests

    Checking branch update_accts

    Checking branch web3_debug

    Checking branch web3_erc20

    Checking branch web3_erc20_tests

    Checking branch web3_opcode

    Checking branch websockets

  37 branches were processed

  Checking pull-requests...

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

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

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

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

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

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

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

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

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

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

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

  11 pull requests were processed

Finished examining kframework/evm-semantics

[Thu Feb 13 20:30:13 CST 2020] Finished branch indexing. Indexing took 12 sec
Evaluating orphaned items in evm-semantics
Will not remove PR-732 because it is new
Will not remove PR-731 because it is new
Will not remove PR-730 because it is new
Will not remove PR-729 because it is new
Will not remove PR-727 because it is new
Will remove PR-728 as it is too old
Will remove PR-722 as it is too old
Will remove PR-721 as it is too old
Will remove PR-719 as it is too old
Will remove PR-720 as it is too old
Will remove PR-694 as it is too old
Will remove PR-718 as it is too old
Will remove PR-716 as it is too old
Will remove PR-717 as it is too old
Will remove PR-714 as it is too old
Will remove PR-713 as it is too old
Will remove PR-710 as it is too old
Will remove PR-684 as it is too old
Will remove PR-712 as it is too old
Will remove PR-707 as it is too old
Will remove PR-711 as it is too old
Will remove PR-702 as it is too old
Will remove PR-705 as it is too old
Will remove PR-708 as it is too old
Will remove PR-693 as it is too old
Will remove PR-706 as it is too old
Will remove PR-703 as it is too old
Will remove PR-701 as it is too old
Will remove PR-704 as it is too old
Will remove PR-700 as it is too old
Will remove PR-699 as it is too old
Will remove PR-698 as it is too old
Will remove PR-697 as it is too old
Will remove PR-696 as it is too old
Will remove PR-695 as it is too old
Will remove PR-692 as it is too old
Finished: SUCCESS