- lava-test-case build-benchmarks --shell "make"
- lava-test-case run-benchmarks --shell "./run.sh raw-syscall-getpid sys_getpid"
- lava-test-case-attach run-benchmarks "./results.csv"
- cd -
- cd ci
- lava-test-case build-benchmarks --shell "make"
- lava-test-case run-benchmarks --shell "./run.sh raw-syscall-getpid sys_getpid"
- lava-test-case-attach run-benchmarks "./results.csv"
- cd -
- cd ci