workflows: Push PETSc/Devito docker image to Docker Hub (#71)

Author: ZoeLeibowitz

.github/workflows/pytest-petsc.yml

@@ -46,9 +46,20 @@ jobs:
     - name: Checkout devito
       uses: actions/checkout@v4
 
+    - name: Log in to DockerHub
+      uses: docker/login-action@v2
+      with:
+        username: ${{ secrets.DOCKER_USERNAME }}
+        password: ${{ secrets.DOCKER_PASSWORD }}
+
     - name: Build docker image
       run: |
           docker build . --file docker/Dockerfile.devito --tag devito_img --build-arg base=zoeleibowitz/bases:cpu-${{ matrix.arch }} --build-arg petscinstall=petsc
+          docker tag devito_img ${{ secrets.DOCKER_USERNAME }}/devito_img:latest
+
+    - name: Push Docker image to DockerHub
+      run: |
+          docker push ${{ secrets.DOCKER_USERNAME }}/devito_img:latest
 
     - name: Set run prefix
       run: |

devito/mpi/distributed.py

@@ -91,7 +91,7 @@ def devito_mpi_finalize():
     """
     Finalize MPI, if initialized by Devito.
     """
-    global init_by_devito  # noqa
+    global init_by_devito  # noqa: F824
     if init_by_devito and MPI.Is_initialized() and not MPI.Is_finalized():
         MPI.Finalize()