collapseBuild Queue
No builds in the queue.
collapseEC2 Fleet Status

SuccessScan Repository Log

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

  Checking branches...

  Getting remote branches...

    Checking branch master

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

    Checking branch checker

    Checking branch ci

    Checking branch proof-temp

    Checking branch proof-temp2

    Checking branch wip

  6 branches were processed

  Checking pull-requests...

  0 pull requests were processed

Finished examining runtimeverification/fpl-semantics

[Thu Feb 13 14:55:02 CST 2020] Finished branch indexing. Indexing took 1.6 sec
Finished: SUCCESS