diff options
author | David Snopek <dsnopek@gmail.com> | 2023-11-03 19:37:57 -0500 |
---|---|---|
committer | David Snopek <dsnopek@gmail.com> | 2023-11-04 17:24:36 -0500 |
commit | 93260e170045604b43d9ec5aeda55e20d7e2ce61 (patch) | |
tree | f87aad0e1e22bbe0fc992f17aeff4e518a9d33a1 /misc/scripts/check_ci_log.py | |
parent | e4eee8b12d162d187c07e6088f6b619846b6dbfb (diff) | |
download | redot-cpp-93260e170045604b43d9ec5aeda55e20d7e2ce61.tar.gz |
Hack adding `--quit-after 100` to ensure extension_list.cfg gets generated
Diffstat (limited to 'misc/scripts/check_ci_log.py')
0 files changed, 0 insertions, 0 deletions