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 · 507a2c1 · 507a2c1
1 parent d0bb39f
commit 507a2c1
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