Skip to content
Format

(Special) Orthogonal / Unitary / Euclidean groups #283

Sign in to view logs

(Special) Orthogonal / Unitary / Euclidean groups

(Special) Orthogonal / Unitary / Euclidean groups #283

Triggered via pull request February 15, 2025 15:59
@kellertuerkellertuer
synchronize #17
kellertuer/SOn-and-SEn
Status Success
Total duration 38s
Artifacts –

format.yml

on: pull_request
Format Check
28s
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.