collapseBuild Queue
No builds in the queue.
collapseEC2 Fleet Status

SuccessScan Repository Log

Started by timer
[Thu Mar 26 22:26:00 CDT 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 0fc748cd75fc39fa9a6b14d34c5fa8f90df73b56)

    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 config

    Checking branch cpp-add-symbol-attr

    Checking branch dwightguth-patch-1

    Checking branch eprval

    Checking branch fix-bitfield-nonterm

    Checking branch fix-nested-union-bug

    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 llvmchanges

    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 oldlatest

    Checking branch open-pilot

    Checking branch open-pilot-patch

    Checking branch parser2

    Checking branch see-what-breaks

    Checking branch shared

    Checking branch shared2

  39 branches were processed

  Checking pull-requests...

    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 61796ab8211a17777950e68cefe8f4584f25a6ca)

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

  3 pull requests were processed

Finished examining kframework/c-semantics

[Thu Mar 26 22:26:04 CDT 2020] Finished branch indexing. Indexing took 3.7 sec
Evaluating orphaned items in c-semantics
Will not remove PR-608 because it is new
Will remove PR-615 as it is too old
Finished: SUCCESS