Skip to content
Snippets Groups Projects

don't emit sync shared mem if no syncs

Passed
rarbore2 created pipeline for commit 8070fc0b
, finished
1 related merge request: !227 Sync optimizations
branch
2 jobs 3 minutes 18 seconds, queued for 3 seconds