Skip to content

Migrate CircleCI script to GitHub actions #13

Description

@jchavarri

https://github.com/Sketch-sh/engine/blob/27d3869aa8b4eb5fb0561570011e9a8857547797/.circleci/config.yml

Prob better to wait until #12 is done, or start a branch from that one, as it uses opam.

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No type

    Fields

    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions