agda-unimath CI

The Bell numbers (#1315) #8980

Sign in to view logs

Triggered via push February 11, 2025 20:10

master

Status Success

Total duration 3m 21s

Artifacts –

ci.yaml

on: push

Matrix: typecheck