Merge branch 'master' into transactions_v2

3 jobs for !24 with transactions_v2 in 20 minutes and 58 seconds (queued for 5 minutes and 58 seconds)
detached
Status Name Job ID Coverage
  Build
passed build #1535298

00:05:43

 
  Deploy
passed check_linux #1535299
linux

00:11:03

failed simgrid #1535300

00:04:11

 
Name Stage Failure
failed
simgrid Deploy
FAIL: transactions/trs_sgemm
+ uname -a
+ echo Running on Linux starpu-debian10amd64 4.19.0-8-amd64 #1 SMP Debian 4.19.98-1 (2020-01-26) x86_64 GNU/Linux
Running on Linux starpu-debian10amd64 4.19.0-8-amd64 #1 SMP Debian 4.19.98-1 (2020-01-26) x86_64 GNU/Linux
+ grep ^FAIL: ../check_17098
+ wc -l
+ exit 1
Cleaning up file based variables
ERROR: Job failed: exit status 1