Skip to content

Merge pull request #51 from homalg-project/dev #121

Merge pull request #51 from homalg-project/dev

Merge pull request #51 from homalg-project/dev #121

Triggered via push June 24, 2025 07:31
Status Success
Total duration 4m 21s
Artifacts 1

CI.yml

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

Artifacts

Produced during runtime
Name Size Digest
manual Expired
141 KB
sha256:d0964f3c05247da43491005879fd9ff1336eea828e513dab4dbeaa1b1455af54