HOWTO-RELEASE: mention updating the RTD global wildcard redirect (fixes #4070) #4073
+3
−0
Travis CI / Travis CI - Pull Request
succeeded
Mar 7, 2024 in 9m 3s
Build Passed
Details
This is a pull request build.
It is running a build against the merge commit, after merging #4073 HOWTO-RELEASE: mention updating the RTD global wildcard redirect (fixes #4070).
Any changes that have been made to the master branch before the build ran are also included.
Jobs and Stages
This build has two jobs, running in parallel.
| Job | Compiler | ENV | OS | State |
|---|---|---|---|---|
| 7451.1 |
gcc | BUILD_NAME=linux_generic | Linux | passed |
| 7451.2 |
gcc | BUILD_NAME=linux_generic | Linux | passed |
Build Configuration
| Build Option | Setting |
|---|---|
| Language | C++ |
| Operating System | Linux (Xenial) |
Build Configuration
{
"language": "cpp",
"os": [
"linux"
],
"dist": "xenial",
"branches": {
"except": [
"/^(cherry-pick-)?backport-\\d+-to-/"
]
},
"cache": {
"directories": [
"$HOME/.ccache"
]
},
"before_install": [
"./travis/${BUILD_NAME}/before_install.sh"
],
"install": [
"./travis/${BUILD_NAME}/install.sh"
],
"script": [
"echo \"done\""
],
"notifications": {
"irc": [
{
"channels": [
"irc.freenode.org#proj-activity"
],
"use_notice": true
}
]
},
"jobs": {
"fast_finish": true,
"include": [
{
"os": "linux",
"dist": "jammy",
"compiler": "gcc",
"arch": "s390x",
"env": [
{
"BUILD_NAME": "linux_generic"
},
{
"DETAILS": "\"linux, s390x\""
}
]
},
{
"os": "linux",
"dist": "jammy",
"compiler": "gcc",
"arch": "arm64",
"env": [
{
"BUILD_NAME": "linux_generic"
},
{
"DETAILS": "\"linux, arm64\""
},
{
"NPROC": "4"
}
]
}
],
"allow_failures": [
{
"env": [
{
"BUILD_NAME": "mingw32"
}
]
}
]
}
}
Loading