collapseBuild Queue
No builds in the queue.
collapseEC2 Fleet Status

SuccessScan Repository Log

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

  Checking pull-requests...

  Getting remote pull requests...

    Checking pull request #4
      ‘Jenkinsfile’ found
    Met criteria
No changes detected: PR-4 (still at 398bf37d2afaec0022f62c19a1bdcc93d5e7e873)

  1 pull requests were processed

Finished examining kframework/ewasm-semantics

[Thu Feb 13 12:44:02 CST 2020] Finished branch indexing. Indexing took 2.1 sec
Finished: SUCCESS