search

dreal / homebrew-dreal

homebrew tap for dReal
0 stars 0 forks source link

Add macOS-10.15 in CI #9

Closed soonho-tri closed 4 years ago

soonho-tri commented 4 years ago

travis-ci doesn't have it in their list of supported platforms yet. We will add it when it becomes available.

soonho-tri commented 4 years ago

Done by switching to github actions.