remove cedar from ci

Author: SimaoMoreira5228

.github/workflows/ci-check-fmt.yaml

@@ -37,8 +37,5 @@ jobs:
       - name: Format shfmt
         run: ./tools/scripts/shfmt -w .
 
-      - name: Format cedar
-        run: git ls-files "*.cedar" | xargs ls 2>/dev/null | xargs -I {} ./tools/scripts/cedar format -w -p {}
-
       - name: Exit on diff
         run: git diff --exit-code