agda-unimath CI

Minkowski multiplication for semigroups, monoids, and commutative mon… #8944

Sign in to view logs

Triggered via push February 10, 2025 19:57

master

Status Success

Total duration 12m 19s

Artifacts –

ci.yaml

on: push

Matrix: typecheck