Build wurde durch eine SCM-Änderung ausgelöst.32c74804d85cab3a90560ee2de0f2a9ec0637e5a70c74804d85cab3a90560ee2de0f2a9ec0637e5a70refs/remotes/origin/masterc74804d85cab3a90560ee2de0f2a9ec0637e5a70c74804d85cab3a90560ee2de0f2a9ec0637e5a70refs/remotes/origin/masterc74804d85cab3a90560ee2de0f2a9ec0637e5a70c74804d85cab3a90560ee2de0f2a9ec0637e5a70refs/remotes/origin/masterhttps://github.com/lep/jhcr.gitjhcrjhcrjhcrfalse#32243915470JHCR #3232falsefalse322035SUCCESS1578244266217https://grill.wurstlang.org/hudson/job/JHCR/32/runtime/stringtable.jruntime/instruction.jruntime/interpreter.jruntime/print.jde5bcf11e52b81129244864f8c98e7d07f2c61bf1578243960000https://grill.wurstlang.org/hudson/user/lep.deletelep.deletelep.delete@googlemail.comAdd prefix to some variables to avoid bad shadowing 2020-01-05 18:06:00 +0100de5bcf11e52b81129244864f8c98e7d07f2c61bfAdd prefix to some variables to avoid bad shadowingeditruntime/instruction.jeditruntime/interpreter.jeditruntime/stringtable.jeditruntime/print.jconvert.hs84a790e4dd01c12ab1b04a01f92563aaff22edd21578244028000https://grill.wurstlang.org/hudson/user/lep.deletelep.deletelep.delete@googlemail.comWrite REQUIRES-metadata to generated runtime files 2020-01-05 18:07:08 +010084a790e4dd01c12ab1b04a01f92563aaff22edd2Write REQUIRES-metadata to generated runtime fileseditconvert.hsMain.hsc74804d85cab3a90560ee2de0f2a9ec0637e5a701578244097000https://grill.wurstlang.org/hudson/user/lep.deletelep.deletelep.delete@googlemail.comRemove option to set prefix 2020-01-05 18:08:17 +0100c74804d85cab3a90560ee2de0f2a9ec0637e5a70Remove option to set prefixeditMain.hsgithttps://grill.wurstlang.org/hudson/user/lep.deletelep.delete