workflow

Module eflint

Source
Expand description

Defines a compiler of the Checker Workflow to the eFLINT JSON Specification.