chore: introduce `bin` scripts including `bin/run` for running the tool - #361

Merged

G-Rath merged 8 commits into

mainfrom

create-run-script

Sep 2, 2026

Commits on Sep 2, 2026

refactor: move `setup` into `bin`
G-Rath
committed
700c923
fix: make sure `bin/setup` runs from root
G-Rath
committed
84891e6
feat: add scripts for building and running the tool through docker
G-Rath
committed
0f88a94
test: use new `bin/run` script
G-Rath
committed
023fe4f
fix: use the user id and group of the current user
G-Rath
committed
fffd605
fix: disable sandbox and dev-shm usage
G-Rath
committed
99b6af0
feat: allow externally setting user and group id
G-Rath
committed
ba5a591
fix: make sure the results directory exists
G-Rath
committed
293a267