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
[Mon Feb 24 20:49:00 CST 2020] Starting branch indexing...
20:49:00 Connecting to https://api.github.com using dwightguth/****** (GitHub Access Token)
Examining runtimeverification/beacon-chain-spec

  Checking branches...

  Getting remote branches...

    Checking branch master

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

    Checking branch T-context-sens-coverage

    Checking branch _update-deps_deps_k

    Checking branch bounds-check

    Checking branch gh-pages

    Checking branch v0.10.1

  6 branches were processed

  Checking pull-requests...

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

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

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

  3 pull requests were processed

Finished examining runtimeverification/beacon-chain-spec

[Mon Feb 24 20:49:03 CST 2020] Finished branch indexing. Indexing took 3.3 sec
Finished: SUCCESS