Skip to content
CI

Representations of alternating group of degree 4 #260

Sign in to view logs

Representations of alternating group of degree 4

Representations of alternating group of degree 4 #260

Triggered via pull request December 9, 2025 12:55
@borisdevosborisdevos
synchronize #43
bd/repa4
Status Success
Total duration 19m 59s
Artifacts –

CI.yml

on: pull_request
Matrix: test
Fit to window
Zoom out
Zoom in