Skip to content

GitLab

Merge branch '40-use-threadpoolexecutor-in-place-of-processpoolexecutor' into 'dev' 

Resolve "Use ThreadPoolExecutor in place of ProcessPoolExecutor"

Closes #40

See merge request !20
5 jobs for dev in 1 minute and 1 second (queued for 2 seconds)
808e48be
No related merge requests found.
Status Job ID Name Coverage
  Ci Lint
passed #461901
shell
ci_lint

00:00:01

 
  Lint
passed #461902
docker
lint

00:00:22

 
  Build
passed #461903
shell
build

00:00:24

 
  Test
passed #461904
shell
test

00:00:05

 
  Release
passed #461905
shell
release

00:00:06