Skip to content
CI

feat(pool): POOL005 — full-length view of a pooled buffer over-reads its logical length → OWN025 #414

Sign in to view logs

feat(pool): POOL005 — full-length view of a pooled buffer over-reads its logical length → OWN025

feat(pool): POOL005 — full-length view of a pooled buffer over-reads its logical length → OWN025 #414

Run time

Learn about OS pricing on GitHub Actions
Job Run time
lint (ruff + mypy --strict)
12s
own-check SARIF -> GitHub code scanning (dog-food)
30s
corpus benchmark (real C# recall + specificity)
1m 40s
tests (py3.13)
9s
tests (py3.11)
7s
C# leak extractor (Roslyn) -> OwnIR -> core
38s
tests (py3.12)
6s
extended codegen fuzz
37s
own-check repo scan (github + msbuild) + composite action
34s
golden C# compiles & runs (.NET)
16s
4m 49s