Skip to content
Profile Library Typechecking

For p q : ℚ, succ-ℚ p * q = q + (p * q) (#1282) #190

Sign in to view logs

For p q : ℚ, succ-ℚ p * q = q + (p * q) (#1282)

For p q : ℚ, succ-ℚ p * q = q + (p * q) (#1282) #190

Triggered via push February 6, 2025 18:51
@fredrik-bakkefredrik-bakke
pushed 8662d37
master
Status Success
Total duration 17m 27s
Artifacts 1

profiling.yaml

on: push
Matrix: typecheck-performance
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
Library profiling history
369 KB