Bug fix: add missing petsc stub #272
Merged
Travis CI / Travis CI - Branch
succeeded
Jul 24, 2023 in 1m 9s
Build Passed
Details
This is a normal build for the patch-0.20.1 branch. You should be able to reproduce it by checking out the branch locally.
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) |
Build Configuration
{
"language": "c",
"os": [
"linux"
],
"dist": "xenial",
"cache": {
"directories": [
"mpi"
]
},
"before_install": [
"bash ./config/build-mpi.sh"
],
"script": [
"export OMP_NUM_THREADS=1",
"export PATH=$(pwd)/mpi/bin:${PATH}",
"cp config/travis-mpicc.mk ./config.mk",
"make",
"make unit"
]
}
Loading