search

CVC4 / homebrew-cvc4

Homebrew formula for CVC4
4 stars 7 forks source link

Switch to GitHub actions #47

Closed 4tXJ7f closed 3 years ago

4tXJ7f commented 3 years ago

This commit switches from Travis CI to GitHub actions to be consistent with the main repository.