Merge branch 'dev_0.9.2' into dev_0.9.3

Author: pgleeson

.github/workflows/docker-image-quickrun.yml

@@ -11,7 +11,6 @@ jobs:
   build:
 
     runs-on: [ ubuntu-18.04, ubuntu-20.04, ubuntu-22.04 ]
-
     steps:
     - uses: actions/checkout@v2
     - name: Build the Docker image
@@ -21,6 +20,7 @@ jobs:
         ./build.sh
     - name: Info on Docker images
       run: |
+        docker -v
         docker images
     - name: Run the Docker image
       run: |