Merge branch 'dev' into 10-research-areas-and-research-topics

8 jobs for !72 with 10-research-areas-and-research-topics in 2 minutes and 16 seconds (queued for 1 second)
latest detached
Status Job ID Name Coverage
  Build
passed #472540
build-tuhh

00:00:20

passed #472542
build-tuhh-asteroid

00:00:30

passed #472541
build-tuhh-review

00:00:20

 
  Review
passed #472543
review_asteroid

00:00:36

manual #472544
allowed to fail manual
review_asteroid:stop
passed #472545
review_tuhh

00:00:09

passed #472546
manual
review_tuhh:stop

00:00:26

 
  Deploy
passed #472547
rsync-tuhh-deploy

00:00:42