Merge pull request #6000 from IntersectMBO/andrea/workbench/lockfile

workbench: gate resource intensive parts behind a lockfile
IntersectMBO · Oct 8, 2024 · 371a142 · 371a142
2 parents 3ecf75e + 52fcb86
commit 371a142
Show file tree

Hide file tree

Showing 15 changed files with 50 additions and 491 deletions.
diff --git a/bench/process/collect.jq b/bench/process/collect.jq
diff --git a/bench/process/membenches_v1.jq b/bench/process/membenches_v1.jq
diff --git a/bench/process/process.jq b/bench/process/process.jq
diff --git a/bench/process/process.sh b/bench/process/process.sh