Skip to content
CI

fix(report): label a flow-path ArrayPool rent a "pooled buffer", not "disposable" #568

Sign in to view logs

fix(report): label a flow-path ArrayPool rent a "pooled buffer", not "disposable"

fix(report): label a flow-path ArrayPool rent a "pooled buffer", not "disposable" #568

Run time

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