Code

Optional latch and operation_id#594

Code

Merged

Schaeff merged 1 commit intomainpowdr-labs/powdr:mainfrom optional-latch-and-operation-idpowdr-labs/powdr:optional-latch-and-operation-idCopy head branch name to clipboardOct 24, 2023

+114-61

Commits

Commits on Oct 22, 2023

• allow ommiting latch if no operations and operation_id if <= 1 operations

  Schaeff

  committed
  f71cd82

  Copy full SHA for f71cd82