Representations of alternating group of degree 4 #211
Triggered via pull request
November 14, 2025 15:01
borisdevos
borisdevos
synchronize
#43
Status
Failure
Total duration
53s
Artifacts
–
FormatCheck.yml
on: pull_request_target
runic
/
Runic
28s
Annotations
1 error
|
runic / Runic
Process completed with exit code 1.
|