Splitting up mutations database in Github Actions#543

Draft

tomato42 wants to merge 1 commit intosixty-north:masterfrom tomato42:github-actions-parallel

+153-1

Commits on Jan 1, 2024

Splitting up mutations database in Github Actions
tomato42
committed