mirror of
https://github.com/Relintai/pandemonium_engine.git
synced 2024-12-22 20:06:49 +01:00
Remove mono related things from the server github action.
This commit is contained in:
parent
32c41c8c98
commit
fd00db459c
10
.github/workflows/server_builds.yml
vendored
10
.github/workflows/server_builds.yml
vendored
@ -4,7 +4,7 @@ on: [push, pull_request]
|
|||||||
# Global Settings
|
# Global Settings
|
||||||
env:
|
env:
|
||||||
GODOT_BASE_BRANCH: 3.x
|
GODOT_BASE_BRANCH: 3.x
|
||||||
SCONSFLAGS: verbose=yes warnings=all werror=yes debug_symbols=no module_mono_enabled=yes mono_static=yes mono_glue=no
|
SCONSFLAGS: verbose=yes warnings=all werror=yes debug_symbols=no
|
||||||
|
|
||||||
concurrency:
|
concurrency:
|
||||||
group: ci-${{github.actor}}-${{github.head_ref || github.run_number}}-${{github.ref}}-server
|
group: ci-${{github.actor}}-${{github.head_ref || github.run_number}}-${{github.ref}}-server
|
||||||
@ -18,13 +18,13 @@ jobs:
|
|||||||
fail-fast: false
|
fail-fast: false
|
||||||
matrix:
|
matrix:
|
||||||
include:
|
include:
|
||||||
- name: Linux Headless w/ Mono (target=release_debug, tools=yes)
|
- name: Linux Headless (target=release_debug, tools=yes)
|
||||||
cache-name: server-editor-mono
|
cache-name: server-editor
|
||||||
target: release_debug
|
target: release_debug
|
||||||
tools: true
|
tools: true
|
||||||
|
|
||||||
- name: Linux Server w/ Mono (target=release, tools=no)
|
- name: Linux Server (target=release, tools=no)
|
||||||
cache-name: server-template-mono
|
cache-name: server-template
|
||||||
target: release
|
target: release
|
||||||
tools: false
|
tools: false
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user