Skip to content
Check for stage0 changes

perf: use NatPow Int instead of HPow Int Nat Int #2803

Sign in to view logs

perf: use NatPow Int instead of HPow Int Nat Int

perf: use NatPow Int instead of HPow Int Nat Int #2803

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-stage0-on-queue
34s
34s