Move CI to GH Actions - Githubissues

ftsrg / gazer

An LLVM-based formal verification frontend for C programs.

24 stars 5 forks source link

Closed hajduakos closed 3 years ago

hajduakos commented 3 years ago

We could move to GH Actions from Travis, as it provides a tighter integration