Split the workflow into two workflows

With this, the Fuzzy CI workflow does not do anything that requires permissions. Permissions are not granted when the workflow is triggered by a PR from a fork.
pitag-ha · Dec 20, 2023 · 7044f79 · 7044f79
1 parent d0bb39f
commit 7044f79
Show file tree

Hide file tree

Showing 3 changed files with 80 additions and 815 deletions.
diff --git a/...workflows/fuzzy-ci-helpers/create_diff.ml → .github/fuzzy-ci-helpers/create_diff.ml b/...workflows/fuzzy-ci-helpers/create_diff.ml → .github/fuzzy-ci-helpers/create_diff.ml