Skip to content
CI

Representations of alternating group of degree 4 #262

Sign in to view logs

Representations of alternating group of degree 4

Representations of alternating group of degree 4 #262

Triggered via pull request December 9, 2025 17:03
@borisdevosborisdevos
synchronize #43
bd/repa4
Status Success
Total duration 17m 36s
Artifacts –

CI.yml

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