diff --git a/.github/workflows/check_gcc b/.github/workflows/check_gcc.yml similarity index 97% rename from .github/workflows/check_gcc rename to .github/workflows/check_gcc.yml index ecd6e6d..181613c 100644 --- a/.github/workflows/check_gcc +++ b/.github/workflows/check_gcc.yml @@ -1,4 +1,4 @@ -name: check +name: check_gcc on: push jobs: