run_all.py: add --fast, --separate, and --close#2054
Merged
jprochazk merged 16 commits intomainfrom jan/run-separate-fast-examplesMay 10, 2023
+233-45
Commits
Commits on May 9, 2023
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
