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

stanford-oval / thingtalk / 723

Builds Branch Commit Type Ran Committer Via Coverage
723 release npmignore: add cvc4 to the list Otherwise builds from travis will include the binary... push 01 Nov 2019 06:18PM UTC gcampax travis-ci pending completion   set done
722 v1.9.0-beta.1 v1.9.0-beta.1 push 01 Nov 2019 06:15PM UTC gcampax travis-ci pending completion   set done
721 master v1.9.0-beta.1 push 01 Nov 2019 06:15PM UTC gcampax travis-ci pending completion   set done
720 release v1.9.0-beta.1 push 01 Nov 2019 06:10PM UTC gcampax travis-ci pending completion   set done
719 master Merge pull request #162 from stanford-oval/wip/device-selector Extend device selectors to refer to devices by name push 01 Nov 2019 06:05PM UTC web-flow travis-ci pending completion   set done
718 wip/device-selector program: deep clone attributes in selectors Otherwise we cannot beta-reduce parameters in them during Genie generation Pull #162 01 Nov 2019 05:54PM UTC web-flow travis-ci pending completion   set done
717 wip/device-selector ArrayIndexSlot: use "." to separate name from index Otherwise it is annoying to parse the tag to extract the argument name during parameter replacement Pull #162 01 Nov 2019 05:09PM UTC web-flow travis-ci pending completion   set done
716 wip/device-selector Unify the two copies of cleanKind So the code coverage does not drop too much. At the same time, it's clear the heuristic used is pretty gross, and we should use the #_[canonical] annotation on the class instead. Pull #162 01 Nov 2019 07:25AM UTC web-flow travis-ci pending completion   set done
715 wip/device-selector Fix lint Pull #162 01 Nov 2019 07:12AM UTC web-flow travis-ci pending completion   set done
713 master Merge pull request #161 from stanford-oval/wip/picture-rdl Pictures inside RDLs push 01 Nov 2019 04:20AM UTC web-flow travis-ci pending completion   set done
712 wip/picture-rdl format: add support for a picture inside RDL objects Many APIs return card-like results with a picture (e.g. RSS, CatAPI, etc.). It's better for the UI layer if the picture is included in the RDL object rather than a separate message. Pull #161 31 Oct 2019 04:49PM UTC web-flow travis-ci pending completion   set done
711 v1.9.0-alpha.4 v1.9.0-alpha.4 push 25 Oct 2019 11:16PM UTC gcampax travis-ci pending completion   set done
710 master v1.9.0-alpha.4 push 25 Oct 2019 11:16PM UTC gcampax travis-ci pending completion   set done
709 release v1.9.0-alpha.4 push 25 Oct 2019 11:12PM UTC gcampax travis-ci pending completion   set done
708 v1.9.0-alpha.3 v1.9.0-alpha.3 push 25 Oct 2019 10:26PM UTC gcampax travis-ci pending completion   set done
  • ← Previous
  • 1
  • 2
  • …
  • 51
  • 52
  • 53
  • 54
  • 55
  • 56
  • 57
  • 58
  • 59
  • …
  • 89
  • 90
  • Next →
  • Back to Repo
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