collapseBuild Queue
No builds in the queue.
collapseEC2 Fleet Status

SuccessScan Repository Log

Started by timer
[Thu Feb 20 13:01:00 CST 2020] Starting branch indexing...
13:01:00 Connecting to https://api.github.com using dwightguth/****** (GitHub Access Token)
Examining runtimeverification/rv-monitor

  Checking branches...

  Getting remote branches...

    Checking branch master

  Getting remote pull requests...
      ‘Jenkinsfile’ not found
    Does not meet criteria

    Checking branch dl-plugin-2

    Checking branch dl_plugin

    Checking branch keymaera-example

    Checking branch setup-rvm

    Checking branch stable-submodule-commit

    Checking branch surefire-fix

  7 branches were processed

  Checking pull-requests...

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

  1 pull requests were processed

Finished examining runtimeverification/rv-monitor

[Thu Feb 20 13:01:03 CST 2020] Finished branch indexing. Indexing took 2.7 sec
Finished: SUCCESS