Add typos checks and fix typos it found #580
Open
Travis CI / Travis CI - Pull Request
cancelled
Jan 8, 2025 in 18m 14s
Build Canceled
Details
This is a pull request build.
It is running a build against the merge commit, after merging #580 Add typos checks and fix typos it found.
Any changes that have been made to the master branch before the build ran are also included.
Jobs and Stages
This build has four jobs, running in parallel.
| Job | ENV | OS | State |
|---|---|---|---|
 679.1 |
CABALVER=2.4 GHCVER=8.6.5 | Linux | passed |
| 679.2 |
CABALVER=3.2 GHCVER=8.8.4 | Linux | passed |
| 679.3 |
CABALVER=3.2 GHCVER=8.10.4 | Linux | canceled |
| 679.4 |
CABALVER=3.4 GHCVER=9.0.1 | Linux | canceled |
Build Configuration
| Build Option | Setting |
|---|---|
| Language | Ruby |
| Operating System | Linux (Focal) |
Build Configuration
{
"language": "ruby",
"os": [
"linux"
],
"dist": "focal",
"env": [
"jobs={:CABALVER=>\"2.4\", :GHCVER=>\"8.6.5\"}={:CABALVER=>\"3.2\", :GHCVER=>\"8.8.4\"}={:CABALVER=>\"3.2\", :GHCVER=>\"8.10.4\"}={:CABALVER=>\"3.4\", :GHCVER=>\"9.0.1\"}"
],
"before_install": [
"travis_retry sudo add-apt-repository -y ppa:hvr/ghc",
"travis_retry sudo apt-get update",
"travis_retry sudo apt-get install cabal-install-$CABALVER ghc-$GHCVER",
"if [ \"${GHCVER}\" == \"8.10.4\" ]; then travis_retry sudo apt-get install --yes z3 cppcheck; fi",
"export PATH=/opt/ghc/$GHCVER/bin:/opt/cabal/$CABALVER/bin:$PATH",
"cabal --version",
"echo \"$(ghc --version) [$(ghc --print-project-git-commit-id 2> /dev/null || echo '?')]\"",
"travis_retry cabal update",
"git submodule update --remote"
],
"script": [
"travis_wait 30 cabal v2-install --lib copilot copilot-core copilot-c99 copilot-language copilot-libraries copilot-theorem copilot-interpreter copilot-prettyprinter",
"if [ \"${GHCVER}\" == \"8.10.4\" ]; then cabal v2-test -j1 copilot-core copilot-language copilot-interpreter copilot-c99 copilot-theorem copilot-libraries; fi",
"if [ \"${GHCVER}\" == \"8.10.4\" ]; then runhaskell copilot/examples/Heater.hs; cppcheck --force --addon=misra.py --suppress=misra-c2012-14.4 --error-exitcode=2 heater.c; fi"
]
}
Loading