ci: cleanup platform detection

Author: pietroalbini

src/ci/run.sh

@@ -117,7 +117,7 @@ make check-bootstrap
 
 # Display the CPU and memory information. This helps us know why the CI timing
 # is fluctuating.
-if isOSX; then
+if isMacOS; then
     system_profiler SPHardwareDataType || true
     sysctl hw || true
     ncpus=$(sysctl -n hw.ncpu)

src/ci/shared.sh

@@ -30,16 +30,16 @@ function isCI {
   [ "$CI" = "true" ] || [ "$TF_BUILD" = "True" ]
 }
 
-function isOSX {
+function isMacOS {
   [ "$AGENT_OS" = "Darwin" ]
 }
 
-function isMacOS {
-    isOSX
+function isWindows {
+  [ "$AGENT_OS" = "Windows_NT" ]
 }
 
-function isWindows {
-    [ "$AGENT_OS" = "Windows_NT" ]
+function isLinux {
+  [ "$AGENT_OS" = "Linux" ]
 }
 
 function getCIBranch {