collapseBuild Queue
No builds in the queue.
collapseEC2 Fleet Status

SuccessScan Repository Log

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

  Checking pull-requests...

  Getting remote pull requests...

  0 pull requests were processed

Finished examining kframework/solidity-semantics

[Thu Feb 13 16:01:01 CST 2020] Finished branch indexing. Indexing took 1.2 sec
Finished: SUCCESS