Skip to content

Initial #lazy directive for the lazy/magic/demand transformation #107

Initial #lazy directive for the lazy/magic/demand transformation

Initial #lazy directive for the lazy/magic/demand transformation #107

Triggered via pull request November 26, 2024 04:18
Status Failure
Total duration 1m 12s
Artifacts

build.yml

on: pull_request
test-building
12s
test-building
Fit to window
Zoom out
Zoom in

Annotations

2 errors
test-building: src/serialize.ts#L126
Property 'lazy' is missing in type '{ seeds: string[]; forbids: string[]; demands: string[]; arities: { [pred: string]: { args: number; value: boolean; }; }; rules: RuleN<string | number>[]; }' but required in type 'ProgramN<string | number>'.
test-building
Process completed with exit code 2.