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 Feb 27 03:01:00 CST 2020] Starting branch indexing...
03:01:00 Connecting to https://api.github.com using dwightguth/****** (GitHub Access Token)
Examining runtimeverification/polkadot-verification

  Checking branches...

  Getting remote branches...

    Checking branch master

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

    Checking branch _update-deps_deps_wasm-semantics

    Checking branch dm-external-functions

    Checking branch ehildenb

    Checking branch search-script

  5 branches were processed

  Checking pull-requests...

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

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

  2 pull requests were processed

Finished examining runtimeverification/polkadot-verification

[Thu Feb 27 03:01:03 CST 2020] Finished branch indexing. Indexing took 2.6 sec
Finished: SUCCESS