Merge branch 'pe-local-memories' of git:tapasco/tapasco into gitlab-ci

2 jobs for gitlab-ci in 2 minutes and 48 seconds (queued for 1 second)
Status Name Job ID Coverage
  Toolchain Test
passed sbt-prepare #940

00:01:38

passed scala-test #939

00:02:48