Skip to content
This repository has been archived by the owner on Oct 30, 2022. It is now read-only.

Purs 0.15 #3

Open
wants to merge 3 commits into
base: master
Choose a base branch
from
Open

Purs 0.15 #3

wants to merge 3 commits into from

Commits on Aug 20, 2022

  1. bump to purescript 0.15

    roryc89 committed Aug 20, 2022
    Configuration menu
    Copy the full SHA
    39202fc View commit details
    Browse the repository at this point in the history
  2. adds github actions CI

    roryc89 committed Aug 20, 2022
    Configuration menu
    Copy the full SHA
    9d8c51d View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    be6c006 View commit details
    Browse the repository at this point in the history