diff options
| author | Toni Uhlig <matzeton@googlemail.com> | 2022-09-22 02:33:04 +0200 |
|---|---|---|
| committer | Toni Uhlig <matzeton@googlemail.com> | 2022-09-22 08:00:21 +0200 |
| commit | 28971cd7647a79253000fb33e52b5d2129e5ba62 (patch) | |
| tree | 9ff512cfb3b1d2c877d8f6899b9c1f427f6d2a30 /.github/workflows | |
| parent | 3c7bd6a4ba410729a8b91dffaaf4a08bedc67036 (diff) | |
flow-info.py: Command line arguments --no-color, --no-statusbar (both useful for tests/CI) and --print-analyse-results.
* run_tests.sh: Use flow-info.py for additional DIFF tests.
Signed-off-by: Toni Uhlig <matzeton@googlemail.com>
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions