Skip to content

GitLab

Merge branch 'master' into ExecutionSemantics

2 jobs for ExecutionSemantics in 10 minutes and 42 seconds (queued for 1 second)
8a2325fb
1 related merge request: !32 Execution semantics
Status Name Job ID Coverage
  Linux
passed BranchJobLinux #1366469

00:10:42

failed BranchJobLinux #1363113

00:00:22