chore(ci) catch and upload CI coredumps#542

Closed

thibaultcha wants to merge 1 commit intomainfrom chore/ci-coredumps

+15-3

Commits on May 5, 2024

chore(ci) upload executable and coredumps on failure
thibaultcha
committed