collapseBuild Queue
No builds in the queue.
collapseEC2 Fleet Status

SuccessScan Repository Log

Started by timer
[Thu Feb 20 10:58:00 CST 2020] Starting branch indexing...
10:58:00 Connecting to https://api.github.com using dwightguth/****** (GitHub Access Token)
Examining runtimeverification/rv-predict-2.0

  Checking pull-requests...

  Getting remote pull requests...

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

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

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

  3 pull requests were processed

Finished examining runtimeverification/rv-predict-2.0

[Thu Feb 20 10:58:06 CST 2020] Finished branch indexing. Indexing took 5.8 sec
Finished: SUCCESS