Add a Valgrind GitHub Actions workflow#1104

Merged

james-d-mitchell merged 11 commits intosemigroups:mainfrom

wilfwilson:add-valgrind-ci-workflow

Mar 13, 2026

Commits on Feb 19, 2026

CI: add a Valgrind workflow

wilfwilson
authored and
james-d-mitchell
committed
Update copyright years in src/*.[ch]pp

wilfwilson
authored and
james-d-mitchell
committed
Update header years again
james-d-mitchell
committed

Commits on Feb 20, 2026

Fix valgrind warnings?
james-d-mitchell
committed

Commits on Feb 24, 2026

ci: add apt-get update to valgrind workflow
james-d-mitchell
committed

Commits on Feb 25, 2026

Try figure out why this is still failing
james-d-mitchell
committed

Commits on Mar 12, 2026

Commits on Mar 13, 2026