search

dreal / DReal.jl

Nonlinear Constraint Solving and Optimization
https://dreal.github.io/
Other
7 stars 4 forks source link

Travis for OSX #17

Open soonhokong opened 9 years ago

tkelman commented 9 years ago

Just send them an e-mail, they were at capacity for a long time but looks like they might be accepting new requests right now: http://docs.travis-ci.com/user/multi-os/

soonhokong commented 9 years ago

@tkelman, thank you!

soonhokong commented 9 years ago

I was thinking about implementing an old-hack -- having a separate repository with a different .travis.yml file for OSX, which is synced with this repo. Let's wait for a couple of days...

tkelman commented 9 years ago

Pretty clever hack if you don't mind managing the syncing, though it doesn't help as much for testing pull requests. Hopefully not necessary to go to that hassle.

soonhokong commented 9 years ago

I had a hack for syncing repos. But anyway let's wait for their response :-)