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 20 22:26:00 CST 2020] Starting branch indexing...
22:26:00 Connecting to https://api.github.com using dwightguth/****** (GitHub Access Token)
Examining kframework/c-semantics

  Checking branches...

  Getting remote branches...

    Checking branch master

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

    Checking branch _update-deps

    Checking branch centos6-nocd

    Checking branch change

    Checking branch changes

    Checking branch chathhorn-c18

    Checking branch chathhorn-denso-unseq

    Checking branch chathhorn-patch-1

    Checking branch clang-c-parser-2

    Checking branch clever-linking

    Checking branch config

    Checking branch dwightguth-patch-1

    Checking branch eprval

    Checking branch float-demo

    Checking branch h0nzZik-install

    Checking branch h0nzZik-patch-1

    Checking branch jtusil-fix-assign

    Checking branch jtusil-fix-switch

    Checking branch latest

    Checking branch macosx

    Checking branch master-with-setenv

    Checking branch minas-C-to-cc

    Checking branch minas-do-not-copy-native-server

    Checking branch minas-k

    Checking branch minas-private-registry-credentials

    Checking branch minas-rm-duplicate-options

    Checking branch minas-test-login-shell

    Checking branch misc

    Checking branch misc4

    Checking branch open-pilot

    Checking branch open-pilot-patch

    Checking branch parser2

    Checking branch see-what-breaks

    Checking branch shared

    Checking branch shared2

  35 branches were processed

  Checking pull-requests...

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

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

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

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

  4 pull requests were processed

Finished examining kframework/c-semantics

[Thu Feb 20 22:26:04 CST 2020] Finished branch indexing. Indexing took 4.1 sec
Evaluating orphaned items in c-semantics
Will remove PR-605 as it is too old
Finished: SUCCESS