Skip to content
CI

fix(extractor): recognize .Close() as a field release (receiver-sco… #524

Sign in to view logs

fix(extractor): recognize .Close() as a field release (receiver-sco…

fix(extractor): recognize .Close() as a field release (receiver-sco… #524

Run time

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