Metric properties of real negation, absolute value, addition and maxi… · UniMath/agda-unimath@c3fa85a

Triggered via push May 5, 2025 16:56

master

Status Success

Total duration 13m 4s

Artifacts 1

profiling.yaml

on: push

Matrix: typecheck-performance

Produced during runtime

Name	Size	Digest
Library profiling history	509 KB	`sha256:ea1afd436eba2f3b716d06804cb75f801655bfb5498f0ad99f8df989570a9279`