Skip to content

Add basic CI #182

@bregman-arie

Description

@bregman-arie

We already have some scripts in the scripts directory. It would be good to run them for every PR.
This is also a great task for beginners.

Metadata

Metadata

Assignees

No one assigned

    Labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions