agda-unimath CI

Switch from `𝔽` to `Finite-*` #8946

Sign in to view logs

Triggered via pull request February 10, 2025 22:14

synchronize #1312

fredrik-bakke:FF

Status Success

Total duration 14m 1s

Artifacts –

ci.yaml

on: pull_request

Matrix: typecheck