diff options
author | RĂ©mi Verschelde <remi@verschelde.fr> | 2022-06-15 23:33:15 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-06-15 23:33:15 +0200 |
commit | 2f9b7b7a605f20321c1a239935152723bc13edf0 (patch) | |
tree | 5e8c6e305b9512ad99b019507fa03f32002d3efa /scene/resources/video_stream.h | |
parent | 421d8b716db25a7556d428b7bb210ce4d94caa0b (diff) | |
parent | 80237a54e01dd964cc4242ebc5979087a3b67d68 (diff) |
Merge pull request #62082 from qarmin/handle_crash_ci
Stop CI when Godot crash
Diffstat (limited to 'scene/resources/video_stream.h')
0 files changed, 0 insertions, 0 deletions