gaming/godot
gaming/godot
1
0
Fork 0
mirror of https://github.com/godotengine/godot synced 2024-09-05 06:18:39 +00:00
Code Issues Packages Projects Releases Wiki Activity

CI: Disable debug_symbols for Linux + all sanitizers build

Browse source 
We're running out of disk space so builds are failing...
This commit is contained in:
Rémi Verschelde 2023-02-18 23:41:44 +01:00
parent 37589edf17
commit 17da86eb7b
No known key found for this signature in database
GPG key ID: C3336907360768E1
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
.github/workflows/linux_builds.yml vendored
View file

@ -36,7 +36,8 @@ jobs:
cache-name: linux-editor-double-sanitizers
target: editor
tests: true
sconsflags: dev_build=yes precision=double use_asan=yes use_ubsan=yes linker=gold
# Debug symbols disabled as they're huge on this build and we hit the 14 GB limit for runners.
sconsflags: dev_build=yes debug_symbols=no precision=double use_asan=yes use_ubsan=yes linker=gold
proj-test: true
# Can be turned off for PRs that intentionally break compat with godot-cpp,
# until both the upstream PR and the matching godot-cpp changes are merged.