collapseBuild Queue
No builds in the queue.
collapseEC2 Fleet Status

SuccessScan Repository Log

Started by timer
[Thu Sep 17 22:49:00 CDT 2020] Starting branch indexing...
22:49:01 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 c07f7e3042472b262f107c11c4ad315771c6fc2f)

    Checking branch _update-deps_kframework_k

    Checking branch assertion-fix

    Checking branch binarymodule

    Checking branch block-macros

    Checking branch chalmers-fm-presentation

    Checking branch coinductive-dotvar-expansion

    Checking branch convert

    Checking branch core-tests

    Checking branch coverage-error

    Checking branch coverage-workaround

    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 hjorthjort-patch-1

    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 more-total-functions

    Checking branch no-dots-error

    Checking branch outofbounds-minimal

    Checking branch parse-floats

    Checking branch remove-context-lookup-funcs

    Checking branch reverse-bytes-blog

    Checking branch slow-kompile-krun

    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

  41 branches were processed

  Checking pull-requests...

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

  1 pull requests were processed

Finished examining kframework/wasm-semantics

[Thu Sep 17 22:49:06 CDT 2020] Finished branch indexing. Indexing took 5.7 sec
Finished: SUCCESS