Skip to content
Format

(Special) Orthogonal / Unitary / Euclidean groups #258

Sign in to view logs

(Special) Orthogonal / Unitary / Euclidean groups

(Special) Orthogonal / Unitary / Euclidean groups #258

Triggered via pull request January 28, 2025 08:49
@kellertuerkellertuer
synchronize #17
kellertuer/SOn-and-SEn
Status Success
Total duration 39s
Artifacts –

format.yml

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