Limits of sequences in metric spaces (#1378) · UniMath/agda-unimath@3b9b9f6

Triggered via push May 1, 2025 19:55

master

Status Success

Total duration 12m 50s

Artifacts 1

profiling.yaml

on: push

Matrix: typecheck-performance

Produced during runtime

Name	Size	Digest
Library profiling history	505 KB	`sha256:4d92fff111ffdc142e5bfc316c4f7c2a8cf020c0c8533b3afa8337fd8c3f34ad`