Skip to content

Merge branch 'main' into ng/add-type-optional #1149

Merge branch 'main' into ng/add-type-optional

Merge branch 'main' into ng/add-type-optional #1149

Triggered via push July 30, 2025 17:46
Status Success
Total duration 2m 27s
Artifacts
Install deps, build required package, typecheck, lint and test
2m 24s
Install deps, build required package, typecheck, lint and test
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Install deps, build required package, typecheck, lint and test
Could not determine node version from /home/runner/work/hypergraph/hypergraph/package.json. Falling back