Rational real numbers #6334
malarbolci.yaml
on: pull_request
Matrix: typecheck
Waiting for pending jobs
pre-commit
link-check
Annotations
1 error
|
agda-unimath CI
Canceling since a higher priority waiting request for 'agda-unimath CI-real-rational' exists
|