feat: formal-synthesis paper features (v2) — know, precommit, verify --deep, radar, ledger sync, deja, dash v2, report + Mintlify docs #170
CodeWithJuberci.yml
on: pull_request
Lint & format (Biome)
11s
ShellCheck
6s
Assert zero runtime dependencies
5s
Version fields agree
5s
Docs match code
10s
Dependency review
6s
Matrix: test
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
|
|
Lint & format (Biome)
Process completed with exit code 1.
|