Closed pehrsoderman closed 4 years ago
We will have a preparatory meeting for the IOI next week and I hope I will release the new version of Isolate there.
@gollux Sounds good. Much appreciated!
Done. I caught one more bug and released isolate-1.8.
@gollux Can you have a look at the issue reported by @simonlindholm (https://github.com/ioi/isolate/issues/67#issuecomment-465353495) and possibly do a .1 release with that fixed?
I will. On the airplane from Baku, I also realized one potential problem with the last-minute bugfix of time limit reporting. I will release a .1 quite soon.
@gollux Any update on the .1?
@gollux Any update on the .1?
Sorry for the delay. It turned out that the last-minute fix of run time reporting could cause security issues (some processes in the control group not being killed properly) and I needed some time to think about the right fix.
I tagged 1.8.1 a couple of seconds ago.
Would it be possible to get a tagged release with the fix for Ubuntu 18.10 in it?