hpi-swa-lab / SqueakByExample-english / 5267054957

Builds Branch Commit Type Ran Committer Via Coverage
5267054957 squeaksource Merge branch 'master' into squeaksource push LinqLover github pending completion   set done
5260539143 master Merge pull request #153 from hpi-swa-lab/refactor-extract Minor refactoring of SBE-Extract push web-flow github pending completion   set done
5260417438 revise-intro mixsyndeton for contributors Depends on Collections-ct.1044 (Trunk). push LinqLover github pending completion   set done
5260259522 refactor-extract Merge branch 'master' into refactor-extract push web-flow github pending completion   set done
5260207295 master Fix button hovers (#190) * debug button hovering * fix debugging * debug: log currentEvent * fix #174 * Revert "debug button hovering" This reverts commit 8c6431a71. * add missing \centering to a f... push web-flow github pending completion   set done
5260087591 fix-button-hovers Merge remote-tracking branch 'upstream/master' into fix-button-hovers push LinqLover github pending completion   set done
5259418136 fix-button-hovers Revert "debug button hovering" This reverts commit 8c6431a71. push LinqLover github pending completion   set done
5259409187 fix-button-hovers fix #174 push LinqLover github pending completion   set done
5259311845 refactor-extract move debug log to a better place push LinqLover github pending completion   set done
5259265390 master Merge pull request #187 from hpi-swa-lab/profiling-tools Profiling tools push web-flow github pending completion   set done
5259159429 fix-button-hovers debug: log currentEvent push LinqLover github pending completion   set done
5259100618 profiling-tools Further minor improvements push web-flow github pending completion   set done
5259047877 profiling-tools Merge branch 'master' into profiling-tools push web-flow github pending completion   set done
5256108528 master Fixes arrows in the schematic drawing of the Color Buttons figure in Model push codeZeilen github pending completion   set done
5254572517 issue-update-arrows-in-color-browsers Fixes arrows in the schematic drawing of the Color Buttons figure in Model push codeZeilen github pending completion   set done