Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Teach TravisCI to use Z3 4.4.1 from repositories that I'm currently | Dan Liew | 2015-12-01 |
| | | | | | | | | maintaining on the OpenSUSE build service. See https://build.opensuse.org/package/show/home:delcypher:z3/z3 | ||
* | Teach the TravisCI build to use the ``travis_retry`` command when | Dan Liew | 2015-11-21 |
| | | | | | | | | | using NuGet. The motivation here is that the ``nuget`` command is a little flakey (sometimes it times out) in the legacy TravisCI infrastructure. This command will retry the command passed to it a few times. Hopefully this will stop the random build failures we've been having. | ||
* | Add .travis.yml file for TravisCI builds. | Dan Liew | 2015-04-03 |