Check Correct Definitions on Commit #16

Closed

Assignees

Labels

Milestone

opened

on Jul 23, 2025

Create a Github Action that checks the correctness of the definitions at any commit

Metadata

Assignees

raphael-goetz

Labels

Type

Projects

No projects

Milestone

MVP

Relationships

None yet

Development

No branches or pull requests