diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2023-11-13 18:51:47 +0100 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2023-11-13 18:51:47 +0100 |
commit | 306774b5a4ee434f6c688641d12fe3be009d025b (patch) | |
tree | 16c6ad764fd0870fc710c3779c00f2102a14fb15 /src/variant/callable_method_pointer.cpp | |
parent | 73757e3a9fe652fa800f72f727faa8107aa1e736 (diff) | |
download | redot-cpp-306774b5a4ee434f6c688641d12fe3be009d025b.tar.gz |
CI: Workaround upstream issue with .NET editor build not exiting
We force closing the process after 10 s, which should be ample time to generate
the .godot folder.
Diffstat (limited to 'src/variant/callable_method_pointer.cpp')
0 files changed, 0 insertions, 0 deletions