agda-unimath CI

Refactor universal property of suspensions (#961) #5448

Sign in to view logs

Triggered via push December 10, 2023 14:06

master

Status Success

Total duration 18m 42s

Artifacts –

ci.yaml

on: push

Matrix: typecheck