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 · c2cf7df · c2cf7df
1 parent d0bb39f
commit c2cf7df
Show file tree

Hide file tree

Showing 3 changed files with 97 additions and 825 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