Ci uses Bash by default

Author: Tigul

.github/workflows/ci.yml

@@ -1,6 +1,10 @@
 # .github/workflows/ci.yml
 name: CI
+defaults:
+  run:
+    shell: bash -ieo pipefail {0}
 
+    
 on:
   push:
     branches: [ main ]