agda-unimath CI

Fix urls (#980) #5458

Sign in to view logs

Triggered via push December 11, 2023 21:05

VojtechStep

master

Status Success

Total duration 2m 27s

Artifacts –

ci.yaml

on: push

Matrix: typecheck