collapseBuild Queue
No builds in the queue.
 rvwork-0
1Idle
 rvwork-2
1Idle
2Idle
3Idle
 rvwork-3
1Idle
2Idle
3Idle
 rvwork-4  ( offline)
collapseEC2 Fleet Status

SuccessScan Repository Log

Started by timer
[Fri Sep 18 12:44:00 CDT 2020] Starting branch indexing...
12:44:01 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 #27
      ‘Jenkinsfile’ found
    Met criteria
No changes detected: PR-27 (still at 014ae8c27c412f18f864be874e46621a4e9a3a37)

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

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

  3 pull requests were processed

Finished examining kframework/ewasm-semantics

[Fri Sep 18 12:44:04 CDT 2020] Finished branch indexing. Indexing took 3.8 sec
Finished: SUCCESS