Add graph legend (#1363) · UniMath/agda-unimath@c33a72e

Triggered via push May 16, 2025 12:28

master

Status Success

Total duration 13m 7s

Artifacts 1

profiling.yaml

on: push

Matrix: typecheck-performance

Produced during runtime

Name	Size	Digest
Library profiling history	520 KB	`sha256:5a5fe8824853be74229c7111e82c2221b801c4b0ced2050901f863b107b48245`