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

Hide file tree

Showing 3 changed files with 88 additions and 823 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