Scan Repository Log

Started by user Kenneth Lausdahl
[Mon Sep 18 21:09:09 CEST 2017] Starting branch indexing...
21:09:10 Connecting to https://api.github.com using swengaudk/****** (swengaudk token on github)
21:09:11 Connecting to https://api.github.com using swengaudk/****** (swengaudk token on github)
Looking up overturetool/overture

  Getting remote pull requests...

  0 pull requests were processed

  Getting remote branches...

    Checking branch autocomplete
      ‘Jenkinsfile’ not found
    Does not meet criteria

    Checking branch cpusleep
      ‘Jenkinsfile’ not found
    Does not meet criteria

    Checking branch eq-ord
      ‘Jenkinsfile’ found
    Met criteria
No changes detected: eq-ord (still at e52f643de4a711770abcfc5e2a06954680263436)

    Checking branch gk/vdmrt
      ‘Jenkinsfile’ not found
    Does not meet criteria

    Checking branch hdm/syntaxhighlight
      ‘Jenkinsfile’ found
    Met criteria
No changes detected: hdm/syntaxhighlight (still at dbb5d2c11316087f3547f204f61c35d7c3b7eb91)

    Checking branch his/code
      ‘Jenkinsfile’ not found
    Does not meet criteria

    Checking branch his/solv
      ‘Jenkinsfile’ not found
    Does not meet criteria

    Checking branch kel/jenkins
      ‘Jenkinsfile’ found
    Met criteria
No changes detected: kel/jenkins (still at 54941878aec060f6d294ec961e5fb23dcb8d6112)

    Checking branch kel/main
      ‘Jenkinsfile’ not found
    Does not meet criteria

    Checking branch kel/overture-fmu-p2
      ‘Jenkinsfile’ found
    Met criteria
No changes detected: kel/overture-fmu-p2 (still at eefdbafb5d50b19d8c7ac99e33e6753f8bfaf2b6)

    Checking branch kgp/main
      ‘Jenkinsfile’ not found
    Does not meet criteria

    Checking branch ldc/isagen
      ‘Jenkinsfile’ not found
    Does not meet criteria

    Checking branch ldc/isatrans-plugin
      ‘Jenkinsfile’ not found
    Does not meet criteria

    Checking branch ldc/ntf
      ‘Jenkinsfile’ not found
    Does not meet criteria

    Checking branch ldc/puresltests
      ‘Jenkinsfile’ not found
    Does not meet criteria

    Checking branch mha/AGCO
      ‘Jenkinsfile’ not found
    Does not meet criteria

    Checking branch mha/AGCO-merge
      ‘Jenkinsfile’ not found
    Does not meet criteria

    Checking branch mha/CGex
      ‘Jenkinsfile’ not found
    Does not meet criteria

    Checking branch mha/CGstart
      ‘Jenkinsfile’ not found
    Does not meet criteria

    Checking branch mha/c-codegen
      ‘Jenkinsfile’ not found
    Does not meet criteria

    Checking branch mha/c-gen
      ‘Jenkinsfile’ not found
    Does not meet criteria

    Checking branch mha/conc
      ‘Jenkinsfile’ not found
    Does not meet criteria

    Checking branch mha/msc
      ‘Jenkinsfile’ not found
    Does not meet criteria

    Checking branch mha/rtcg
      ‘Jenkinsfile’ not found
    Does not meet criteria

    Checking branch mlp/autocomplete
      ‘Jenkinsfile’ not found
    Does not meet criteria

    Checking branch mlp/refactoring
      ‘Jenkinsfile’ not found
    Does not meet criteria

    Checking branch mola/codegen-cpp
      ‘Jenkinsfile’ not found
    Does not meet criteria

    Checking branch mola/codegen-cpp-libvdmtools
      ‘Jenkinsfile’ not found
    Does not meet criteria

    Checking branch mola/main
      ‘Jenkinsfile’ not found
    Does not meet criteria

    Checking branch ncb/development
      ‘Jenkinsfile’ found
    Met criteria
No changes detected: ncb/development (still at 400ccb066dd33ca7160e839f0557df1eca1f88eb)

    Checking branch prettyprinter
      ‘Jenkinsfile’ not found
    Does not meet criteria

    Checking branch pvj/cg-test-fix
      ‘Jenkinsfile’ not found
    Does not meet criteria

    Checking branch pvj/invarient-cg
      ‘Jenkinsfile’ not found
    Does not meet criteria

    Checking branch pvj/issue-362
      ‘Jenkinsfile’ not found
    Does not meet criteria

    Checking branch pvj/issue-622
      ‘Jenkinsfile’ found
    Met criteria
No changes detected: pvj/issue-622 (still at 6269311e02eacaa5ed1936106d86c63ff0d5cc58)

    Checking branch pvj/llvm
      ‘Jenkinsfile’ not found
    Does not meet criteria

    Checking branch pvj/main
      ‘Jenkinsfile’ found
    Met criteria
No changes detected: pvj/main (still at f254c1af917cc001ac7ae3639e5261b592582b73)

    Checking branch pvj/trigger-build-test
      ‘Jenkinsfile’ found
    Met criteria
No changes detected: pvj/trigger-build-test (still at d40d415b24c9dfb59069410f391785ef64186a41)

    Checking branch rtlogger-large-data
      ‘Jenkinsfile’ not found
    Does not meet criteria

    Checking branch test
      ‘Jenkinsfile’ found
    Met criteria
No changes detected: test (still at 1f46b0af8d93b1159c93825ccfc097bd571b5403)

    Checking branch vdm2c/development
      ‘Jenkinsfile’ not found
    Does not meet criteria

    Checking branch vdm2c/irtostring
      ‘Jenkinsfile’ not found
    Does not meet criteria

    Checking branch vpb/sites
      ‘Jenkinsfile’ found
    Met criteria
No changes detected: vpb/sites (still at 903cc569699606652212299477fa6aa3ee5a17b9)

    Checking branch vpb/vdm2c-integration
      ‘Jenkinsfile’ not found
    Does not meet criteria

    Checking branch vpb/vdm2c-update-site
      ‘Jenkinsfile’ not found
    Does not meet criteria

  10 branches were processed

Done examining overturetool/overture

[Mon Sep 18 21:09:28 CEST 2017] Finished branch indexing. Indexing took 18 sec
Evaluating orphaned items in overturetool
Will not remove hdm/endvdm as it is only #1 in the list
Will not remove hdm/issue641 as it is only #2 in the list
Will not remove hdm/latexPP as it is only #3 in the list
Will not remove pvj/eq-ord-merge as it is only #4 in the list
Will not remove pvj/check-jenkins as it is only #5 in the list
Will not remove pvj/jenkins-experiment as it is only #6 in the list
Will not remove pvj/development as it is only #7 in the list
Will not remove pvj/jenk as it is only #8 in the list
Will not remove pvj/trigger-jenkins as it is only #9 in the list
Will not remove PR-536-merge as it is only #10 in the list
Will not remove PR-536-head as it is only #11 in the list
Will not remove PR-537-merge as it is only #12 in the list
Will not remove PR-537-head as it is only #13 in the list
Will not remove PR-538-merge as it is only #14 in the list
Will not remove PR-538-head as it is only #15 in the list
Will remove PR-539-merge as it is #16 in the list
Will remove PR-539-head as it is #17 in the list
Will remove PR-540-merge as it is #18 in the list
Will remove PR-540-head as it is #19 in the list
Will remove PR-541-merge as it is #20 in the list
Will remove PR-541-head as it is #21 in the list
Will remove PR-542-merge as it is #22 in the list
Will remove PR-542-head as it is #23 in the list
Will remove PR-549-merge as it is #24 in the list
Will remove PR-549-head as it is #25 in the list
Will remove PR-550-merge as it is #26 in the list
Will remove PR-550-head as it is #27 in the list
Will remove PR-551-merge as it is #28 in the list
Will remove PR-551-head as it is #29 in the list
Will remove PR-552-merge as it is #30 in the list
Will remove PR-552-head as it is #31 in the list
Will remove PR-553-merge as it is #32 in the list
Will remove PR-553-head as it is #33 in the list
Will remove hdm/endvdm as it is too old
Will remove hdm/issue641 as it is too old
Will remove hdm/latexPP as it is too old
Will remove pvj/eq-ord-merge as it is too old
Will remove pvj/check-jenkins as it is too old
Will remove pvj/jenkins-experiment as it is too old
Will remove pvj/development as it is too old
Will remove pvj/jenk as it is too old
Will remove pvj/trigger-jenkins as it is too old
Will remove PR-536-merge as it is too old
Will remove PR-536-head as it is too old
Will remove PR-537-merge as it is too old
Will remove PR-537-head as it is too old
Will remove PR-538-merge as it is too old
Will remove PR-538-head as it is too old
Finished: SUCCESS