root: Remove gradle/ci-configs/gradle.properties and unused scripts

This commit removes the `gradle/ci-configs/gradle.properties` file and several unused scripts from the repository.
MrHadiSatrio · Jul 27, 2024 · f548fe7 · f548fe7
1 parent 5e867f7
commit f548fe7
Show file tree

Hide file tree

Showing 6 changed files with 0 additions and 42 deletions.
diff --git a/gradle/ci-configs/gradle.properties b/gradle/ci-configs/gradle.properties
diff --git a/scripts/publish-local b/scripts/publish-local
diff --git a/scripts/run-benchmarks b/scripts/run-benchmarks
diff --git a/scripts/run-tests b/scripts/run-tests
diff --git a/scripts/setup b/scripts/setup
diff --git a/scripts/update-docs b/scripts/update-docs