Skip to content

Split CI job into multiple subjobs - #462

Merged
anderkve merged 25 commits into
masterfrom
split_CI_jobs
Jan 12, 2024
Merged

Split CI job into multiple subjobs#462
anderkve merged 25 commits into
masterfrom
split_CI_jobs

Set order of CI jobs: gambit_build, backends_build, test_runs, standa…

33eb1c1
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs