Skip to content

Merge pull request #3258 from Franzi2114/feature/issue-3256-renaming-… #5123

Merge pull request #3258 from Franzi2114/feature/issue-3256-renaming-…

Merge pull request #3258 from Franzi2114/feature/issue-3256-renaming-… #5123

Re-run triggered December 12, 2025 19:32
Status Success
Total duration 58m 8s
Artifacts

main.yml

on: push
Matrix: mix-fun
Matrix: prim-rev
Fit to window
Zoom out
Zoom in