Skip to content

improve logs

Wout De Nolf requested to merge improve_logs into main
  • fix bug in logs
  • better CI
  • refactor Pool to reduce the chance for hanging (it still exists though).
Edited by Wout De Nolf

Merge request reports