collapseBuild Queue
No builds in the queue.
collapseEC2 Fleet Status

SuccessScan Repository Log

Started by timer
[Fri Sep 18 06:27:00 CDT 2020] Starting branch indexing...
06:27:01 Connecting to https://api.github.com using dwightguth/****** (GitHub Access Token)
Examining kframework/kore

  Checking branches...

  Getting remote branches...

    Checking branch master

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

    Checking branch PredicateNew

    Checking branch all-functional

    Checking branch casestudy-K-in-Kore

    Checking branch check_for_function-like

    Checking branch debugger

    Checking branch ehildenb

    Checking branch ehildenb2

    Checking branch issue-1800

    Checking branch kore-in-k

    Checking branch labeled-claims

    Checking branch legacy

    Checking branch nat-proof

    Checking branch overloaded-productions

    Checking branch repl-bug-report

    Checking branch revert-1113-feature--substitution-simplifier

    Checking branch revert-1292-_update-deps/deps/k_release

    Checking branch revert-1891-remove-destination-unification

    Checking branch set-access-bug

    Checking branch smart-constructors

    Checking branch smt-changes

    Checking branch timeout-kevm

    Checking branch unification

    Checking branch update-deps

  24 branches were processed

  Checking pull-requests...

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

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

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

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

    Checking pull request #2139
      ‘Jenkinsfile’ found
      Not mergeable, but will be built anyway
    Met criteria
No changes detected: PR-2139 (still at e0f63a2cefd0855e927037b71cb943a0705801d7)

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

    Checking pull request #2099
      ‘Jenkinsfile’ found
      Not mergeable, but will be built anyway
    Met criteria
No changes detected: PR-2099 (still at 84262efe78df00bde1f607d4730b488ef1966ad6)

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

  8 pull requests were processed

Finished examining kframework/kore

Examining kframework/evm-semantics

Finished examining kframework/evm-semantics

[Fri Sep 18 06:27:10 CDT 2020] Finished branch indexing. Indexing took 9.6 sec
Evaluating orphaned items in haskell-backend
Will not remove PR-2141 because it is new
Will not remove PR-2148 because it is new
Will not remove PR-2134 because it is new
Will not remove PR-2140 because it is new
Will not remove PR-2128 because it is new
Will not remove PR-2086 because it is new
Will not remove PR-2133 because it is new
Will remove PR-2130 as it is too old
Will remove PR-2129 as it is too old
Will remove PR-2112 as it is too old
Will remove PR-2122 as it is too old
Will remove PR-2098 as it is too old
Finished: SUCCESS