Switch to dev, run fully, 100 cores, with timeout#11

imallona wants to merge 4 commits intoimallona_devomnibenchmark/omnibenchmark_paper_code:imallona_devfrom

full_run_on_devomnibenchmark/omnibenchmark_paper_code:full_run_on_devCopy head branch name to clipboard