Minimum and maximum for decidable total orders (#1291) · UniMath/agda-unimath@7945fa5

Triggered via push February 7, 2025 20:39

master

Status Success

Total duration 12m 19s

Artifacts 1

profiling.yaml

on: push

Matrix: typecheck-performance

Produced during runtime

Name	Size
Library profiling history	373 KB