Skip to content
Snippets Groups Projects

Rename IdentityMatrix into IdentityMatrixTag

Failed
Simon Praetorius created pipeline for commit 1bdb3091
, finished
Related merge request !4 to merge issue/identity-matrix-tag
merge request
11 jobs 7 minutes 16 seconds, queued for 35 seconds