Started by GitHub push by peq13140fcf4e44536318c46b179a0ef8e83f69e83191aa0fcf4e44536318c46b179a0ef8e83f69e83191aarefs/remotes/origin/master0fcf4e44536318c46b179a0ef8e83f69e83191aa0fcf4e44536318c46b179a0ef8e83f69e83191aarefs/remotes/origin/master0fcf4e44536318c46b179a0ef8e83f69e83191aa0fcf4e44536318c46b179a0ef8e83f69e83191aarefs/remotes/origin/masterhttps://github.com/wurstscript/WurstScript.git10836testReportfalse#13141261179737407Wurst #13141314falsefalse1314318FAILURE1632671822017https://grill.wurstlang.org/hudson/user/anonymous/my-views/view/all/job/Wurst/1314/de.peeeq.wurstscript/src/main/java/de/peeeq/wurstscript/utils/Utils.javade.peeeq.wurstscript/src/main/java/de/peeeq/wurstio/languageserver/DebouncingTimer.javade.peeeq.wurstscript/src/main/java/de/peeeq/wurstio/languageserver/ModelManagerImpl.javade.peeeq.wurstscript/src/main/java/de/peeeq/wurstio/languageserver/LanguageWorker.javade.peeeq.wurstscript/src/main/java/de/peeeq/wurstio/languageserver/ModelManager.java0fcf4e44536318c46b179a0ef8e83f69e83191aa1632671750000https://grill.wurstlang.org/hudson/user/peter.peqPeter.peqPeter.peq@googlemail.comadd reconcilation timer for type checks after edits, wait 3 seconds before doing type check. This should save energy and result in a smoother editing experience. 2021-09-26 17:55:50 +02000fcf4e44536318c46b179a0ef8e83f69e83191aaadd reconcilation timer for type checksaddde.peeeq.wurstscript/src/main/java/de/peeeq/wurstio/languageserver/DebouncingTimer.javaeditde.peeeq.wurstscript/src/main/java/de/peeeq/wurstio/languageserver/ModelManagerImpl.javaeditde.peeeq.wurstscript/src/main/java/de/peeeq/wurstio/languageserver/ModelManager.javaeditde.peeeq.wurstscript/src/main/java/de/peeeq/wurstscript/utils/Utils.javaeditde.peeeq.wurstscript/src/main/java/de/peeeq/wurstio/languageserver/LanguageWorker.javagithttps://grill.wurstlang.org/hudson/user/peter.peqPeter.peq