Scan Repository Log

Started
[Fri Nov 10 10:18:52 CET 2017] Starting branch indexing...
10:18:52 Connecting to https://api.github.com using swengaudk/****** (swengaudk token on github)
10:18:52 Connecting to https://api.github.com using swengaudk/****** (swengaudk token on github)
Examining overturetool/vdm2c

  Checking branches...

  Getting remote branches...

    Checking branch development
      ‘Jenkinsfile’ found
    Met criteria
No changes detected: development (still at 75f1026a0445606a63d4a4502939bbc833523350)

    Checking branch kel/cmake-test-speedup
      ‘Jenkinsfile’ not found
    Does not meet criteria

    Checking branch master
      ‘Jenkinsfile’ found
    Met criteria
No changes detected: master (still at 225f4f7f9bf9b238ea11379fc09b9dbf2b3401a9)

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

    Checking branch mha/vdm2asn1
      ‘Jenkinsfile’ found
    Met criteria
No changes detected: mha/vdm2asn1 (still at 981cdf92e70b96fdb85bfb3ee9a7a2ae105e002a)

    Checking branch pvj/development
      ‘Jenkinsfile’ found
    Met criteria
No changes detected: pvj/development (still at 6e10880e0fa484df305f073bbb38df1bc001be2f)

    Checking branch pvj/ovt-254
      ‘Jenkinsfile’ found
    Met criteria
Scheduled build for branch: pvj/ovt-254

    Checking branch pvj/version-numbers
      ‘Jenkinsfile’ found
    Met criteria
No changes detected: pvj/version-numbers (still at a72968179a9495052c3baed85893b43b56bae725)

    Checking branch vpb/auto-gc
      ‘Jenkinsfile’ found
    Met criteria
No changes detected: vpb/auto-gc (still at e1d228014db08590d26252be7225dc3986b8d91f)

    Checking branch vpb/dev
      ‘Jenkinsfile’ not found
    Does not meet criteria

    Checking branch vpb/development
      ‘Jenkinsfile’ found
    Met criteria
No changes detected: vpb/development (still at 38e82bd7f0a0451dce42989ef79c758ab9193ab4)

    Checking branch vpb/memcheck
      ‘Jenkinsfile’ not found
    Does not meet criteria

  12 branches were processed

  Checking pull-requests...

  Getting remote pull requests...

  0 pull requests were processed

Finished examining overturetool/vdm2c

[Fri Nov 10 10:18:55 CET 2017] Finished branch indexing. Indexing took 3.4 sec
Finished: SUCCESS