Zero approximations (#1424) · UniMath/agda-unimath@e84b3a4

Triggered via push May 27, 2025 12:27

master

Status Success

Total duration 12m 54s

Artifacts 1

profiling.yaml

on: push

Matrix: typecheck-performance

Produced during runtime

Name	Size	Digest
Library profiling history	529 KB	`sha256:67e69c9d4593cc0b222c44216e8895e6ea297603c75da17f3712e47b8792ad30`