Representations of alternating group of degree 4 #207
Triggered via pull request
November 14, 2025 14:44
borisdevos
borisdevos
opened
#43
Status
Failure
Total duration
3m 32s
Artifacts
–
FormatCheck.yml
on: pull_request_target
runic
/
Runic
21s
Annotations
1 error
|
runic / Runic
Process completed with exit code 1.
|