Skip to content
Verify

Choose the planner proofs' parser through the analysis route #2396

Sign in to view logs

Choose the planner proofs' parser through the analysis route

Choose the planner proofs' parser through the analysis route #2396

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Classify verification scope
8s
Lockfile consistency
59s
Wheels / Resolve source
9s
UI checks and unit tests
0s
Static checks and unit + integration tests
11m 34s
Native compiler on Python 3.13
9m 53s
Compiler golden outputs
12m 0s
DuckDB E2E (build core)
13m 41s
Native compiler on Windows
23m 44s
Fresh-process compile cache (10000 models)
11m 43s
DuckDB E2E (CLI data)
10m 19s
Fresh-process compile cache (5000 models)
12m 49s
Fresh-process compile (3000 models)
11m 8s
Fresh-process compile cache (3000 models)
13m 47s
Formatter performance guards
9m 19s
Native compiler on Python 3.14
11m 40s
Same-runner compile ratio (custom rules CPU vs base 3000 models)
17m 40s
Same-runner compile ratio (dense 3000 models)
15m 14s
Dense all-rules compile (1000 models)
9m 6s
Same-runner compile ratio (contracts CPU vs base 3000 models)
23m 25s
Dense all-rules compile (10000 models)
16m 35s
Dense all-rules compile (5000 models)
7m 50s
Fresh-process compile (10000 models)
11m 26s
DuckDB E2E (build incremental)
15m 57s
Fresh-process compile (5000 models)
11m 22s
ClickHouse integration and E2E tests
14m 2s
DuckDB E2E (CLI commands)
19m 51s
Same-runner compile ratio (fresh 3000 models)
19m 6s
Dense all-rules compile (3000 models)
9m 25s
PostgreSQL integration and E2E tests
14m 12s
Same-runner compile ratio (model analysis CPU vs base 3000 models)
22m 47s
DuckDB E2E (CLI inspection)
13m 50s
Native workspace checks
3m 48s
DuckDB E2E (integrations)
8m 19s
Performance guards
-1s
Scheduler recovery (${{ matrix.name }})
-1s
Rules performance guards
-1s
Wheels / Build wheel (macos-x86_64)
26m 11s
Wheels / Build wheel (linux-x86_64)
22m 28s
Wheels / Build wheel (linux-aarch64)
18m 32s
Wheels / Build wheel (windows-x86_64)
37m 48s
Wheels / Build wheel (macos-arm64)
24m 7s
Wheels / Build sdist
0s
Wheels / Record distribution source
6s
Packaged Compose lifecycle
8m 34s
Verify
3s
9h 4m 34s