Skip to content

Merge branch 'main' into dc268-issue683 #3

Merge branch 'main' into dc268-issue683

Merge branch 'main' into dc268-issue683 #3

Triggered via push December 2, 2025 11:21
Status Failure
Total duration 34m 17s
Artifacts

valgrind.yml

on: push
Ubuntu / GAP stable-4.15 / valgrind
34m 12s
Ubuntu / GAP stable-4.15 / valgrind
Fit to window
Zoom out
Zoom in

Annotations

1 error
Ubuntu / GAP stable-4.15 / valgrind
Process completed with exit code 1.