Giters

SSoelvsten / bdd-benchmark

Benchmarking Suite for BDD packages

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Decrease SLURM Build Script's Memory

SSoelvsten opened this issue · comments

commented

This unecessarily disallows it being run concurrently with something else.