collapseBuild Queue
No builds in the queue.
collapseEC2 Fleet Status

SuccessScan Repository Log

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

  Checking branches...

  Getting remote branches...

    Checking branch master

  Getting remote pull requests...
      ‘Jenkinsfile’ found
    Met criteria
No changes detected: master (still at 3ced4ec4300bef71198d1c6576c95080bf5007c6)

    Checking branch _update-deps_deps_k

    Checking branch assertion-fix

    Checking branch binarymodule

    Checking branch chalmers-fm-presentation

    Checking branch convert

    Checking branch core-tests

    Checking branch coverage-error

    Checking branch desugaring

    Checking branch devcon-presentation

    Checking branch doc

    Checking branch documentation

    Checking branch ehildenb

    Checking branch ewasm

    Checking branch example-proofs

    Checking branch haskell-backend-tests

    Checking branch inline-module

    Checking branch kore-1395

    Checking branch llvm-backend

    Checking branch llvm-parse-bug

    Checking branch loop-invariant

    Checking branch make-clean

    Checking branch make-clean-deps

    Checking branch no-dots-error

    Checking branch outofbounds-minimal

    Checking branch parse-floats

    Checking branch reverse-bytes-blog

    Checking branch test-collect

    Checking branch text-format

    Checking branch text-format-definitons

    Checking branch text-format-no-context-lookup

    Checking branch todo

    Checking branch update-k

    Checking branch wasm-library

    Checking branch wrc20-spec-haskell

  35 branches were processed

  Checking pull-requests...

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

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

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

  3 pull requests were processed

Finished examining kframework/wasm-semantics

[Thu Feb 13 22:49:03 CST 2020] Finished branch indexing. Indexing took 3 sec
Evaluating orphaned items in wasm-semantics
Will remove PR-293 as it is too old
Will remove PR-291 as it is too old
Will remove PR-289 as it is too old
Will remove PR-290 as it is too old
Finished: SUCCESS