diff options
| author | Ignacio Roldán Etcheverry <ignalfonsore@gmail.com> | 2022-08-23 04:23:29 +0200 |
|---|---|---|
| committer | Ignacio Roldán Etcheverry <ignalfonsore@gmail.com> | 2022-08-23 04:23:29 +0200 |
| commit | 20bd64db693e256c473f3d2e83c1919a2367f7ef (patch) | |
| tree | 7c3af64459477b1b8da07c8b16ab9f36f8f07ec5 /editor/plugins/theme_editor_plugin.cpp | |
| parent | ebd966acee25f3e72c55576ebf82392bb9130911 (diff) | |
CI: Remove second build with mono_glue=yes
A second build is no longer needed. It was resulting in a null build
that still took more than 1 minute of CI time.
Also removed other usages of `mono_glue=no` and `mono_static=yes`,
as these options no longer exist.
Diffstat (limited to 'editor/plugins/theme_editor_plugin.cpp')
0 files changed, 0 insertions, 0 deletions