Basic properties of orthogonal maps #5454
Triggered via pull request
December 10, 2023 16:20
fredrik-bakke
Status
Success
Total duration
13m 12s
Artifacts
–
ci.yaml
on: pull_request
Matrix: typecheck
pre-commit
39s
link-check
22s