Disallow unmatched inline code guards (#1414) · UniMath/agda-unimath@30ba73e

Triggered via push April 30, 2025 14:40

master

Status Success

Total duration 13m 1s

Artifacts 1

profiling.yaml

on: push

Matrix: typecheck-performance

Produced during runtime

Name	Size	Digest
Library profiling history	500 KB	`sha256:1b40fefe550221f11b0087e2d3df5b47b27ef6cfc108433c36854ad695f0c229`