FIX CI Final Final Final Final#1417

Merged

PGijsbers merged 2 commits intodevelopfrom

fix/assert_test

Jun 19, 2025

Commits on Jun 18, 2025

fix: test that might have a race condition now
LennartPurucker
committed
maint: make sure workflow does not fail if there is nothing to push.
LennartPurucker
committed