collapseBuild Queue
No builds in the queue.
collapseEC2 Fleet Status

SuccessScan Repository Log

Started by timer
[Thu Sep 24 13:35:00 CDT 2020] Starting branch indexing...
13:35:01 Connecting to https://api.github.com using dwightguth/****** (GitHub Access Token)
Examining kframework/k

  Checking branches...

  Getting remote branches...

    Checking branch master

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

    Checking branch KReadClasswithKRun

    Checking branch PR-if-intlist-llvm

    Checking branch PR-poly-llvm

    Checking branch _update-deps_kframework_kore

    Checking branch ac-unification

    Checking branch ac_unification

    Checking branch add-fun-examples

    Checking branch anywhere2

    Checking branch apply-function-in-order

    Checking branch basic_reflexion

    Checking branch binary2

    Checking branch bug-incomplete-branch

    Checking branch claimKeyword2

    Checking branch concretize-specs

    Checking branch counter

    Checking branch cover2

    Checking branch dapphub

    Checking branch dep-inj-cacheFile

    Checking branch dep-inj-defCache

    Checking branch deposit

    Checking branch div

    Checking branch dots

    Checking branch ehildenb

    Checking branch empty-k-cell-llvm

    Checking branch eq-pattern-kprove

    Checking branch factor-ml-constructs

    Checking branch fix_constraint_simplification

    Checking branch fix_set2list

    Checking branch float2

    Checking branch fresh-generator-kvar

    Checking branch fun2

    Checking branch func

    Checking branch function

    Checking branch funptr

    Checking branch gh-pages

    Checking branch gnosis

    Checking branch iele-erc20

    Checking branch imap

    Checking branch implicitQuantifer

    Checking branch in-keys-collection

    Checking branch install

    Checking branch interview

    Checking branch iskresult

    Checking branch issue828-amb-as-errors

    Checking branch java

    Checking branch keq

    Checking branch klabel-mapUpdate

    Checking branch kool-haskell

    Checking branch kool-update

    Checking branch kprint-debug

    Checking branch kseq

    Checking branch llvm

    Checking branch macro-token

    Checking branch macro2

    Checking branch make_union

    Checking branch map-symbolic-tests

    Checking branch map-symbolic-tests2

    Checking branch map_tests

    Checking branch minas-adt-refactor

    Checking branch minas-dockerfile

    Checking branch minas-equality-stub

    Checking branch minas-improvements-p1

    Checking branch minas-os-flavor

    Checking branch minas-pom-jdk-11

    Checking branch minas-propagating

    Checking branch minas-rds

    Checking branch minas-refactor-data-structures

    Checking branch minas-sort-hashcode

    Checking branch minas-speed

    Checking branch minas-tmp-speed

    Checking branch mint

    Checking branch mkstemp-llvm

    Checking branch ml-prover-support

    Checking branch nailgun

    Checking branch non-exhaustive-match-warn

    Checking branch nopoly

    Checking branch opam-2-docker-image

    Checking branch opam-2.0

    Checking branch opcode-summaries

    Checking branch parseWithProds

    Checking branch perf

    Checking branch proof-temp

    Checking branch pyk-updates

    Checking branch quote-dv

    Checking branch rel

    Checking branch revert-596-set-variable-domains

    Checking branch revert-llvm-submodule

    Checking branch scalaver

    Checking branch set-union

    Checking branch shared

    Checking branch smtlib-checksat

    Checking branch sort2

    Checking branch stream

    Checking branch subsort-ambiguity-bug

    Checking branch superstrict

    Checking branch surefire

    Checking branch tarball

    Checking branch test-pipelines

    Checking branch test-vsc

    Checking branch threads

    Checking branch timeout-kserver

    Checking branch tmp

    Checking branch tmp-haskell

    Checking branch tmp-sbc-support

    Checking branch update-haskell

    Checking branch update-haskell-backend-dependencies

    Checking branch vc-log

    Checking branch warning

    Checking branch wasm-coverage

    Checking branch wasm-support

    Checking branch withConfig2

  112 branches were processed

  Checking pull-requests...

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

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

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

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

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

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

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

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

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

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

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

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

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

  13 pull requests were processed

Finished examining kframework/k

[Thu Sep 24 13:35:21 CDT 2020] Finished branch indexing. Indexing took 21 sec
Evaluating orphaned items in k
Will not remove PR-1554 because it is new
Will not remove PR-1555 because it is new
Will not remove PR-1552 because it is new
Will not remove PR-1551 because it is new
Will not remove PR-1537 because it is new
Will not remove PR-1547 because it is new
Will remove PR-1544 as it is too old
Will remove PR-1546 as it is too old
Will remove PR-1535 as it is too old
Will remove PR-1542 as it is too old
Finished: SUCCESS