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

Hide file tree

Showing 3 changed files with 99 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