collapseBuild Queue
No builds in the queue.
collapseEC2 Fleet Status

SuccessScan Repository Log

Started by timer
[Fri Feb 14 01:34:00 CST 2020] Starting branch indexing...
01:34:00 Connecting to https://api.github.com using dwightguth/****** (GitHub Access Token)
Examining runtimeverification/iele-semantics

  Checking pull-requests...

  Getting remote pull requests...

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

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

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

  3 pull requests were processed

Finished examining runtimeverification/iele-semantics

[Fri Feb 14 01:34:03 CST 2020] Finished branch indexing. Indexing took 2.8 sec
Finished: SUCCESS