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 /.github/workflows | |
| 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 '.github/workflows')
| -rw-r--r-- | .github/workflows/ci.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 1f316ff..0ee04d9 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -172,7 +172,7 @@ jobs: ./godot-artifacts/godot.linuxbsd.editor.x86_64.mono --headless --version cd test # Need to run the editor so .godot is generated... but it crashes! Ignore that :-) - (cd project && (../../godot-artifacts/godot.linuxbsd.editor.x86_64.mono --editor --headless --quit >/dev/null 2>&1 || true)) + (cd project && (timeout 10 ../../godot-artifacts/godot.linuxbsd.editor.x86_64.mono --editor --headless --quit >/dev/null 2>&1 || true)) GODOT=../godot-artifacts/godot.linuxbsd.editor.x86_64.mono ./run-tests.sh - name: Upload artifact |