Skip to content

Merge branch 'codac-team:codac2' into codac2_polytope #180

Merge branch 'codac-team:codac2' into codac2_polytope

Merge branch 'codac-team:codac2' into codac2_polytope #180

Triggered via push February 19, 2026 13:32
Status Success
Total duration 1h 8m 26s
Artifacts

unixmatrix.yml

on: push
deploy
deploy
Matrix: unixmatrix
Fit to window
Zoom out
Zoom in