google/synthmark

Convert CI from Travis to GitHub Actions

Opened this issue · 0 comments

philburk commented

Google is disabling Travis today.