Basic properties of orthogonal maps #5455
Triggered via pull request
December 10, 2023 16:50
fredrik-bakke
Status
Success
Total duration
11m 28s
Artifacts
–
ci.yaml
on: pull_request
Matrix: typecheck
pre-commit
36s
link-check
26s