Some minor refactoring surrounding Dedekind reals #5469
Triggered via pull request
December 12, 2023 17:35
fredrik-bakke
Status
Success
Total duration
15m 49s
Artifacts
–
ci.yaml
on: pull_request
Matrix: typecheck
pre-commit
33s
link-check
25s