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
[Fri Feb 21 01:58:00 CST 2020] Starting branch indexing...
01:58:00 Connecting to https://api.github.com using dwightguth/****** (GitHub Access Token)
Examining runtimeverification/rv-match

  Checking branches...

  Getting remote branches...

    Checking branch master

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

    Checking branch _update-deps

    Checking branch benchmarkPictures

    Checking branch buildinstructions

    Checking branch centos6-nocd

    Checking branch chathhorn-c18

    Checking branch chathhorn-llvm-backend

    Checking branch chathhorn-patch-3

    Checking branch clang-c-parser

    Checking branch clang39

    Checking branch config

    Checking branch exercises

    Checking branch fixes-and-30-day-license

    Checking branch klabel

    Checking branch last_with_cil_semantics

    Checking branch match-repo

    Checking branch minas-base-image

    Checking branch minas-target-readme-skeleton

    Checking branch minas-xenial-ppa

    Checking branch mock

    Checking branch nested-anon2

    Checking branch no-k-tests

    Checking branch opam-windows

    Checking branch releasedescription

    Checking branch revert-35-metrics

    Checking branch revert-472-report-local-values1

    Checking branch rv-error-subtree

    Checking branch timed-build

    Checking branch update

    Checking branch update-deps

    Checking branch windowsPoms

  31 branches were processed

  Checking pull-requests...

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

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

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

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

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

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

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

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

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

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

    Checking pull request #945
      ‘Jenkinsfile’ not found
    Does not meet criteria

    Checking pull request #911
      ‘Jenkinsfile’ not found
    Does not meet criteria

    Checking pull request #894
      ‘Jenkinsfile’ not found
    Does not meet criteria

  13 pull requests were processed

Finished examining runtimeverification/rv-match

[Fri Feb 21 01:58:11 CST 2020] Finished branch indexing. Indexing took 11 sec
Finished: SUCCESS