Skip to content

docs(research): formal synthesis paper unifying substrate + e2e framework #133

docs(research): formal synthesis paper unifying substrate + e2e framework

docs(research): formal synthesis paper unifying substrate + e2e framework #133

Triggered via pull request July 11, 2026 17:54
Status Failure
Total duration 25s
Artifacts

ci.yml

on: pull_request
Lint & format (Biome)
10s
Lint & format (Biome)
ShellCheck
6s
ShellCheck
Assert zero runtime dependencies
8s
Assert zero runtime dependencies
Version fields agree
6s
Version fields agree
Docs match code
8s
Docs match code
Dependency review
4s
Dependency review
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Dependency review
Dependency review is not supported on this repository. Please ensure that Dependency graph is enabled, see https://github.com/CodeWithJuber/forgekit/settings/security_analysis
Docs match code
Process completed with exit code 1.