collapseBuild Queue
No builds in the queue.
collapseEC2 Fleet Status

SuccessScan Repository Log

Started by timer
[Fri May 29 03:01:00 CDT 2020] Starting branch indexing...
03:01:01 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 f1ec83e5c1641bc76a90133b46492663a85c6f97)

    Checking branch _update-deps_deps_wasm-semantics

    Checking branch dm-external-functions

    Checking branch dockerhub-images

    Checking branch ehildenb

    Checking branch readme-deps

    Checking branch skalman-debugging-simple-proof

    Checking branch trying-proof

  8 branches were processed

  Checking pull-requests...

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

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

  2 pull requests were processed

Finished examining runtimeverification/polkadot-verification

[Fri May 29 03:01:04 CDT 2020] Finished branch indexing. Indexing took 3.2 sec
Evaluating orphaned items in polkadot-verification
Will not remove PR-98 because it is new
Will not remove PR-100 because it is new
Will not remove PR-104 because it is new
Will not remove PR-103 because it is new
Will remove PR-101 as it is too old
Finished: SUCCESS