Skip to content

Added Logika branch parallelization prediction options. #2145

Added Logika branch parallelization prediction options.

Added Logika branch parallelization prediction options. #2145

ci

succeeded Jan 14, 2025 in 13m 31s
Set up job
1s
Clean
0s
Checkout
27s
Cache Java
0s
Cache Scala
0s
Cache Coursier
0s
Cache CompCert
39s
Test
11m 59s
Post Cache CompCert
0s
Post Cache Coursier
3s
Post Cache Scala
2s
Post Cache Java
10s
Post Checkout
1s
Complete job
1s