agda-unimath CI

Extract new work from the CSBE PR #8560

Sign in to view logs

Triggered via pull request January 30, 2025 20:04

synchronize #1252

fredrik-bakke:logic-csbe

Status Success

Total duration 22m 6s

Artifacts –

ci.yaml

on: pull_request

Matrix: typecheck