Sam James 1e63f7d536 ci: rename ci_build.sh -> ci_build.bash ... We discussed the name and it's less cognitive load to just call it '.bash' so you don't have an immediate question about if bashisms are OK. (cherry picked from commit 73f629e321)		2024-05-22 14:26:59 +03:00
..
workflows	ci: rename ci_build.sh -> ci_build.bash	2024-05-22 14:26:59 +03:00