agda-unimath CI

Define left half-smash products (#1320) #9121

Sign in to view logs

Triggered via push February 14, 2025 21:48

master

Status Success

Total duration 16m 29s

Artifacts –

ci.yaml

on: push

Matrix: typecheck