ci: split the server Miri job six ways, so no shard outgrows the budget - #405

ci: split the server Miri job six ways, so no shard outgrows the budget#405

vieiralucas merged 1 commit into

mainfaiscadev/crdtsync:mainfrom

ci/server-miri-6-shardsfaiscadev/crdtsync:ci/server-miri-6-shardsCopy head branch name to clipboard