diff --git a/.github/workflows/specimin_evaluation_CI.yml b/.github/workflows/check_compilable_percentage.yml similarity index 99% rename from .github/workflows/specimin_evaluation_CI.yml rename to .github/workflows/check_compilable_percentage.yml index 7350c58d..35d2e7eb 100644 --- a/.github/workflows/specimin_evaluation_CI.yml +++ b/.github/workflows/check_compilable_percentage.yml @@ -1,4 +1,4 @@ -name: specimin_evaluation_CI +name: check_compilable_percentage_CI on: push: