Rename wild higher categories (#1233) · UniMath/agda-unimath@da15ec1

Triggered via push February 4, 2025 21:04

master

Status Success

Total duration 13m 40s

Artifacts 1

profiling.yaml

on: push

Matrix: typecheck-performance

Produced during runtime

Name	Size
Library profiling history	339 KB