Rename min and max operations for decidable total orders (#1292) · UniMath/agda-unimath@468144c

Triggered via push February 8, 2025 15:28

master

Status Success

Total duration 12m 3s

Artifacts 1

profiling.yaml

on: push

Matrix: typecheck-performance

Produced during runtime

Name	Size
Library profiling history	375 KB