Strict orders (#1419) · UniMath/agda-unimath@a9feb0d

Triggered via push May 2, 2025 17:05

master

Status Success

Total duration 12m 31s

Artifacts 1

profiling.yaml

on: push

Matrix: typecheck-performance

Produced during runtime

Name	Size	Digest
Library profiling history	507 KB	`sha256:6296963a88ccaab1157a1555c5b3c2198d2ce898714a08a29c5f73040811d8d2`