ci: merge several workflows (#1031)

- For external PRs from forks, this will only require one approval, as opposed to four. - It also allows centralizing the logic for checking privileges. - Overall, this reduces the number of workflow files.
TimefoldAI · Aug 13, 2024 · c82d2cb · c82d2cb
1 parent 132a232
commit c82d2cb
Show file tree

Hide file tree

Showing 10 changed files with 446 additions and 634 deletions.
diff --git a/.github/workflows/downstream_benchmarks.yml b/.github/workflows/downstream_benchmarks.yml
diff --git a/.github/workflows/downstream_enterprise.yml b/.github/workflows/downstream_enterprise.yml
diff --git a/.github/workflows/downstream_python_enterprise.yml b/.github/workflows/downstream_python_enterprise.yml