Split GitHub CI pipeline into multiple jobs
djungelorm opened this issue ยท 0 comments
Github CI pipeline currently only uses a single job. Split this into multiple parallel jobs. Should speed up workflows considerably.
Related to #629
djungelorm opened this issue ยท 0 comments
Github CI pipeline currently only uses a single job. Split this into multiple parallel jobs. Should speed up workflows considerably.
Related to #629