Allow appending and then dropping the same number of elements from Stream #608
Travis CI / Travis CI - Pull Request
succeeded
Mar 27, 2025 in 26m 0s
Build Passed
Details
This is a pull request build.
It is running a build against the merge commit, after merging #608 Fix/drop as appended.
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 |
|---|---|---|---|
| 714.1 |
CABALVER=2.4 GHCVER=8.6.5 | Linux | passed |
| 714.2 |
CABALVER=3.2 GHCVER=8.8.4 | Linux | passed |
| 714.3 |
CABALVER=3.2 GHCVER=8.10.4 | Linux | passed |
| 714.4 |
CABALVER=3.4 GHCVER=9.0.1 | Linux | passed |
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