collapseBuild Queue
No builds in the queue.
 rvwork-0
1Idle
 rvwork-2
1Idle
2Idle
3Idle
 rvwork-3
1Idle
2Idle
3Idle
 rvwork-4
1Idle
2Idle
3Idle
collapseEC2 Fleet Status

SuccessScan Repository Log

Started by timer
[Thu Mar 26 20:30:00 CDT 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 e62199cae773402f948676cfedbeb5a1fa36553f)

    Checking branch _update-deps_deps_k

    Checking branch allowance

    Checking branch arbitrum_test

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

    Checking branch hkg-haskell

    Checking branch hkg-lemmas

    Checking branch investigate

    Checking branch istanbul

    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 plugin-uwebsockets

    Checking branch return-bad-json

    Checking branch rsstore-refactor

    Checking branch separate-tangles

    Checking branch symb-testing

    Checking branch symtest

    Checking branch truffle_cleanup

    Checking branch uniswap

    Checking branch update-coverage

    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

  40 branches were processed

  Checking pull-requests...

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

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

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

    Checking pull request #738
    (not from a trusted source)
      ‘Jenkinsfile’ found
    Met criteria
No changes detected: PR-738 (still at d622d8161e5a96b1efa5a94a1a2df474b005147d)

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

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

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

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

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

    Checking pull request #643
      ‘Jenkinsfile’ found
    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)

  12 pull requests were processed

Finished examining kframework/evm-semantics

[Thu Mar 26 20:30:13 CDT 2020] Finished branch indexing. Indexing took 13 sec
Evaluating orphaned items in evm-semantics
Will not remove PR-762 because it is new
Will not remove PR-760 because it is new
Will not remove PR-759 because it is new
Will not remove PR-752 because it is new
Will not remove PR-758 because it is new
Will remove PR-755 as it is too old
Will remove PR-757 as it is too old
Will remove PR-756 as it is too old
Will remove PR-746 as it is too old
Finished: SUCCESS