mirror of
https://github.com/godotengine/godot-cpp.git
synced 2026-01-02 09:48:36 +03:00
[SCons] Rename javascript tool to web
And clean it up a bit.
(cherry picked from commit 18bfa133ab)
This commit is contained in:
committed by
David Snopek
parent
03ea717742
commit
62cb5eac47
10
.github/workflows/ci.yml
vendored
10
.github/workflows/ci.yml
vendored
@@ -80,11 +80,11 @@ jobs:
|
||||
|
||||
- name: 🌐 Web (wasm32)
|
||||
os: ubuntu-20.04
|
||||
platform: javascript
|
||||
artifact-name: godot-cpp-javascript-wasm32-release
|
||||
artifact-path: bin/libgodot-cpp.javascript.template_release.wasm32.a
|
||||
platform: web
|
||||
artifact-name: godot-cpp-web-wasm32-release
|
||||
artifact-path: bin/libgodot-cpp.web.template_release.wasm32.a
|
||||
run-tests: false
|
||||
cache-name: javascript-wasm32
|
||||
cache-name: web-wasm32
|
||||
|
||||
env:
|
||||
SCONS_CACHE: ${{ github.workspace }}/.scons-cache/
|
||||
@@ -115,7 +115,7 @@ jobs:
|
||||
sudo apt-get install -qqq build-essential pkg-config
|
||||
|
||||
- name: Web dependencies
|
||||
if: ${{ matrix.platform == 'javascript' }}
|
||||
if: ${{ matrix.platform == 'web' }}
|
||||
uses: mymindstorm/setup-emsdk@v12
|
||||
with:
|
||||
version: ${{env.EM_VERSION}}
|
||||
|
||||
Reference in New Issue
Block a user