Fix a lost of focus when a condition is pasted #6806
+8
−0
Draft
Travis CI / Travis CI - Pull Request
succeeded
Jul 26, 2024 in 30m 54s
Build Passed
Details
This is a pull request build.
It is running a build against the merge commit, after merging #6806 Fix a lost of focus when a condition is pasted.
Any changes that have been made to the master branch before the build ran are also included.
Jobs and Stages
This build only has a single job.
You can use jobs to test against multiple versions of your runtime or dependencies, or to speed up your build.
Build Configuration
| Build Option | Setting |
|---|---|
| Language | C++ |
| Operating System | Linux (Xenial) |
| Compiler Version | clang |
Build Configuration
{
"language": "cpp",
"os": [
"linux"
],
"dist": "xenial",
"sudo": false,
"compiler": [
"clang"
],
"cache": {
"directories": [
"$HOME/.npm"
]
},
"addons": {
"apt": {
"sources": [
{
"name": "ubuntu-toolchain-r-test"
}
],
"packages": [
"cmake",
"p7zip-full"
]
}
},
"before_install": [
"wget -q -O libstdc++6 http://security.ubuntu.com/ubuntu/pool/main/g/gcc-5/libstdc++6_5.4.0-6ubuntu1~16.04.12_amd64.deb",
"sudo dpkg --force-all -i libstdc++6"
],
"install": [
"nvm install v16 && nvm use v16",
"mkdir .build-tests",
"cd .build-tests",
"cmake -DBUILD_GDJS=FALSE -DBUILD_TESTS=TRUE -DCMAKE_CXX_COMPILER=$(which $CXX) -DCMAKE_C_COMPILER=$(which $CC) ..",
"make -j 4",
"cd ..",
"git clone --depth 1 --branch 3.1.21 https://github.com/juj/emsdk.git",
"cd emsdk && ./emsdk install 3.1.21 && ./emsdk activate 3.1.21 && cd ..",
"cd GDevelop.js && npm install && cd ..",
"(set -e; cd GDevelop.js && source ../emsdk/emsdk_env.sh && npm run build && cd ..)",
"npm -v",
"cd newIDE/app && npm install",
"cd ../..",
"cd GDJS && npm install && cd tests && npm install",
"cd ../.."
],
"script": [
"cd .build-tests",
"Core/GDCore_tests",
"cd ..",
"cd GDevelop.js",
"npm test",
"cd ..",
"cd newIDE/app",
"npm test",
"npm run flow",
"npm run check-format",
"npm run check-script-types",
"cd ../..",
"cd GDJS",
"npm run check-format",
"cd .."
]
}
Loading