purescript / purescript-typelevel-prelude

Types and kinds for basic type-level programming
BSD 3-Clause "New" or "Revised" License
63 stars 21 forks source link

Migrate to GitHub Actions #67

Closed thomashoneyman closed 3 years ago

thomashoneyman commented 3 years ago

This PR migrates typelevel-prelude to use GitHub Actions instead of Travis for CI, as tracked for all core libraries in https://github.com/purescript/purescript/issues/3962. It also updates the installation instructions to refer to Spago instead of Bower.