Code

Migrate to GitHub Actions#54

Code

Merged

JordanMartinez merged 2 commits intomasterpurescript/purescript-maybe:masterfrom

github-actionspurescript/purescript-maybe:github-actionsCopy head branch name to clipboard

Dec 5, 2020

Commits

Commits on Dec 5, 2020

• Migrate to GitHub Actions and update installation instructions.

  thomashoneyman

  committed
  39f8212

  Copy full SHA for 39f8212

• Censor user-defined warnings to accommodate MonadZero deprecation

  thomashoneyman

  committed
  dc76adf

  Copy full SHA for dc76adf