Skip to content
Lean Action CI

Adelic p²-corner: native p-adic multi-stream arithmetic (Axis I at p) #12

Sign in to view logs

Adelic p²-corner: native p-adic multi-stream arithmetic (Axis I at p)

Adelic p²-corner: native p-adic multi-stream arithmetic (Axis I at p) #12

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
1m 46s
consistency-check
9s
1m 55s