diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/linux_builds.yml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/.github/workflows/linux_builds.yml b/.github/workflows/linux_builds.yml index 44d0cb041f..c848860bd7 100644 --- a/.github/workflows/linux_builds.yml +++ b/.github/workflows/linux_builds.yml @@ -29,15 +29,15 @@ jobs: build-mono: true artifact: true - - name: Editor and sanitizers (target=debug, tools=yes, tests=yes, use_asan=yes, use_ubsan=yes) - cache-name: linux-editor-sanitizers + - name: Editor with doubles and sanitizers (target=debug, tools=yes, float=64, tests=yes, use_asan=yes, use_ubsan=yes) + cache-name: linux-editor-double-sanitizers target: debug tools: true tests: true - sconsflags: use_asan=yes use_ubsan=yes + sconsflags: float=64 use_asan=yes use_ubsan=yes proj-test: true godot-cpp-test: true - bin: "./bin/godot.linuxbsd.tools.64s" + bin: "./bin/godot.linuxbsd.double.tools.64s" build-mono: false # Skip 2GiB artifact speeding up action. artifact: false |