rename github jobs

Author: cgcgcg

.github/workflows/build.yml

@@ -18,7 +18,7 @@ concurrency:
 
 jobs:
 
-  linux:
+  linux-ci:
     strategy:
       matrix:
         include:
@@ -141,7 +141,7 @@ jobs:
         reporter: java-junit
         fail-on-error: false
 
-  mac:
+  mac-ci:
 
     strategy:
       matrix:

.github/workflows/documentation-ci.yml

@@ -15,7 +15,7 @@ permissions:
 
 jobs:
 
-  linux:
+  linux-ci-doc:
     runs-on: ubuntu-latest
     timeout-minutes: 180
     env:

.github/workflows/documentation.yml

@@ -12,7 +12,7 @@ permissions:
 
 jobs:
 
-  linux:
+  linux-doc:
     environment:
       name: github-pages
       url: ${{ steps.deployment.outputs.page_url }}