Skip to content

(Special) Orthogonal / Unitary / Euclidean groups #307

(Special) Orthogonal / Unitary / Euclidean groups

(Special) Orthogonal / Unitary / Euclidean groups #307

Triggered via pull request February 18, 2025 19:48
Status Success
Total duration 48s
Artifacts

format.yml

on: pull_request
Format Check
37s
Format Check
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Format Check
Input 'fail_on_error' has been deprecated with message: Deprecated, use `fail_level` instead.