Skip to content
CI

P-016: extractor lowers while/foreach to flow facts (A1 reaches real C#) #108

Sign in to view logs

P-016: extractor lowers while/foreach to flow facts (A1 reaches real C#)

P-016: extractor lowers while/foreach to flow facts (A1 reaches real C#) #108

Run time

Learn about OS pricing on GitHub Actions
Job Run time
golden C# compiles & runs (.NET)
26s
tests (py3.12)
9s
C# leak extractor (Roslyn) -> OwnIR -> core
30s
extended codegen fuzz
37s
tests (py3.11)
8s
own-check repo scan (github + msbuild) + composite action
42s
tests (py3.13)
10s
lint (ruff + mypy --strict)
12s
2m 54s