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

SuccessScan Repository Log

Started by timer
[Thu Feb 20 13:35:00 CST 2020] Starting branch indexing...
13:35:00 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 2465feb52b9952df8156c4095ade2d8c3b0cb901)

    Checking branch KReadClasswithKRun

    Checking branch PR-if-intlist-llvm

    Checking branch PR-poly-llvm

    Checking branch PR-tricky-as-in-rhs

    Checking branch PR-undefined-term

    Checking branch _update-deps_haskell-backend_src_main_native_haskell-backend

    Checking branch _update-deps_llvm-backend_src_main_native_llvm-backend

    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 check-with-map

    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 float2

    Checking branch fun2

    Checking branch func

    Checking branch funptr

    Checking branch gnosis

    Checking branch iele-erc20

    Checking branch imap

    Checking branch implicitQuantifer

    Checking branch install

    Checking branch interview

    Checking branch iskresult

    Checking branch issue828-amb-as-errors

    Checking branch java

    Checking branch kapp2termcons

    Checking branch keq

    Checking branch klabel-mapUpdate

    Checking branch kprint-debug

    Checking branch kseq

    Checking branch llvm

    Checking branch macro-token

    Checking branch macro2

    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 nopoly

    Checking branch opam-2.0

    Checking branch opcode-summaries

    Checking branch parseWithProds

    Checking branch perf

    Checking branch priority-group

    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 shared

    Checking branch smtlib-checksat

    Checking branch sort2

    Checking branch subsort-ambiguity-bug

    Checking branch superstrict

    Checking branch surefire

    Checking branch tarball

    Checking branch test-bag

    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

  102 branches were processed

  Checking pull-requests...

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

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

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

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

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

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

    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
    Met criteria
No changes detected: PR-892 (still at 10d603767ad9e48026fc7f1af7c1d5709a910493)

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

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

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

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

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

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

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

  17 pull requests were processed

Finished examining kframework/k

[Thu Feb 20 13:35:13 CST 2020] Finished branch indexing. Indexing took 12 sec
Evaluating orphaned items in k
Will not remove PR-1110 because it is new
Will not remove PR-1104 because it is new
Will not remove PR-1083 because it is new
Will not remove PR-1105 because it is new
Will not remove PR-1085 because it is new
Will not remove PR-1103 because it is new
Will remove PR-1100 as it is too old
Will remove PR-1101 as it is too old
Will remove PR-1099 as it is too old
Will remove PR-1097 as it is too old
Will remove PR-1093 as it is too old
Will remove PR-1096 as it is too old
Will remove PR-1095 as it is too old
Will remove PR-1094 as it is too old
Will remove PR-1091 as it is too old
Will remove PR-1092 as it is too old
Will remove PR-1069 as it is too old
Will remove PR-1089 as it is too old
Finished: SUCCESS