diff options
| author | Schuyler Eldridge | 2019-09-12 17:32:43 -0400 |
|---|---|---|
| committer | mergify[bot] | 2019-09-12 21:32:43 +0000 |
| commit | ba2f0acf5470c25678cd35c8353ca5fbefd62c0f (patch) | |
| tree | d9566b2fda2a2fd73f8f09db3fe1305f1674e880 | |
| parent | 8592dba7973218fe5970e3cc02d59efd93bb5f63 (diff) | |
Provide a name for each Travis build stage (#1174)
Signed-off-by: Schuyler Eldridge <schuyler.eldridge@ibm.com>
| -rw-r--r-- | .travis.yml | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/.travis.yml b/.travis.yml index 78fcea0f..fddd7969 100644 --- a/.travis.yml +++ b/.travis.yml @@ -36,36 +36,43 @@ jobs: # Because these write to the same install directory, they must run in the # same script - stage: prepare + name: "Install: [Verilator, Yosys]" script: - bash .install_verilator.sh - verilator --version - bash .install_yosys.sh - yosys -V - stage: test + name: "Tests: FIRRTL (2.12.4)" script: - verilator --version - sbt ++2.12.4 $SBT_ARGS test - stage: test + name: "Tests: FIRRTL (2.11.12)" script: - verilator --version - sbt ++2.11.12 $SBT_ARGS test # For Chisel tests we use the 2.11.12 version - stage: test + name: "Tests: chisel3 (2.11.12)" script: - verilator --version - sbt ++2.11.12 $SBT_ARGS clean assembly publishLocal - bash .run_chisel_tests.sh - stage: test + name: "Formal equivalence: RocketCore" script: - yosys -V - "travis_wait 30 sleep 1800 &" - ./.run_formal_checks.sh RocketCore - stage: test + name: "Formal equivalence: FPU" script: - yosys -V - "travis_wait 30 sleep 1800 &" - ./.run_formal_checks.sh FPU - stage: test + name: "Formal equivalence: ICache" script: - yosys -V - "travis_wait 30 sleep 1800 &" |
