• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

squaresLab / Houston
45%
master: 45%

Build:
Build:
LAST BUILD BRANCH: templatebased-mission-generator
DEFAULT BRANCH: master
Repo Added 12 Sep 2018 02:19PM UTC
Files 45
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

LAST BUILD ON BRANCH remove-z3-dep
branch: remove-z3-dep
CHANGE BRANCH
x
Reset
  • remove-z3-dep
  • adapt-to-sitl
  • add-hash-functions
  • add-mypy
  • add-sitl-prefix
  • add-to-dict-to-command-and-state
  • add-to-dict-to-state
  • add-type-to-state-var
  • add-uid
  • configuration
  • coveralls
  • detangle-sandbox
  • eq-command
  • final-experiments
  • fix-abs-imports
  • fix-hardcoded-paths
  • fix-home-location
  • fix-super-calls
  • frozen-list-to-tuple
  • integrate-config
  • lift-schemas
  • master
  • messages
  • mission-to-test
  • move-environment
  • new-state-class
  • partial-max
  • remove-action-generator
  • remove-branch-path
  • remove-bugzoo-from-system
  • remove-generate-method
  • rename-action
  • rename-branch
  • rename-branch-to-specification
  • serialise-mission
  • sitl
  • sitl-prefix
  • spec-instances
  • spec-objs
  • state-equiv
  • symex
  • system-sandbox-dependency
  • tidy-action-schemas
  • tidy-specs
  • untangle-branch
  • z3-multithread
  • z3-travis

pending completion
1136

Pull #253

travis-ci

web-flow
updated deps
Pull Request #253: Updated dependencies to include z3-solver and to use newest BugZoo

1177 of 2625 relevant lines covered (44.84%)

0.9 hits per line

Relevant lines Covered
Build:
Build:
2625 RELEVANT LINES 1177 COVERED LINES
0.9 HITS PER LINE
Source Files on remove-z3-dep
  • List 0
  • Changed 0
  • Source Changed 0
  • Coverage Changed 0
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
1136 remove-z3-dep updated deps Pull #253 20 Mar 2019 02:24PM UTC web-flow travis-ci pending completion  
1135 remove-z3-dep updated deps push 20 Mar 2019 02:23PM UTC ChrisTimperley travis-ci pending completion  
1133 remove-z3-dep Tune clustering and model learning (fixes #246) (#247) Tune clustering and model learning (fixes #246) push 19 Mar 2019 12:19AM UTC web-flow travis-ci pending completion  
See All Builds (484)
  • Repo on GitHub
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2025 Coveralls, Inc