Re-enable publish and cleanup CI steps

Author: samarth-aws

.github/workflows/artifact.yml

@@ -81,7 +81,6 @@ jobs:
       # tests should not be stopped when they fail on one of the OSes:
       fail-fast: false
       matrix:
-        # name: ["Verify DH protocol model", "Verify DH core", "Verify DH I/O independence", "Verify DH core assumptions"]
         name:
           [
             "Verify DH protocol model",
@@ -174,43 +173,43 @@ jobs:
       - name: ${{ matrix.name }}
         run: docker run --entrypoint "/bin/bash" ${{ needs.Build.outputs.IMAGE_TAG }} -c "cp -r /dh-orig/. dh/; cp -r /ssm-agent-orig/. ssm-agent/; ${{ matrix.command }}"
 
-  # Publish:
-  #   runs-on: ubuntu-latest
-  #   needs: [Build, Test-DH, Test-SSM-Agent]
-  #   timeout-minutes: 5
-  #   # set per-job GITHUB_TOKEN permissions such that pushing the Docker image will be possible:
-  #   permissions:
-  #     packages: write
-  #   steps:
-  #     - name: Download artifact
-  #       uses: actions/download-artifact@v4
-  #       with:
-  #         name: ${{ env.IMAGE_WORKFLOW_ARTIFACT_NAME }}
-  #         path: /tmp
-
-  #     - name: Load image
-  #       run: docker load --input /tmp/image.tar
-
-  #     - name: Login to Github Packages
-  #       uses: docker/login-action@v3
-  #       with:
-  #         registry: ghcr.io
-  #         username: ${{ github.actor }}
-  #         password: ${{ secrets.GITHUB_TOKEN }}
-
-  #     - name: Push image
-  #       run: docker push ${{ needs.Build.outputs.IMAGE_TAG }}
-
-  # Cleanup:
-  #   runs-on: ubuntu-latest
-  #   needs: Publish
-  #   if: always()
-  #   # set per-job GITHUB_TOKEN permissions such that deleting workflow artifacts will be possible:
-  #   permissions:
-  #     actions: write
-  #   steps:
-  #     - name: Delete artifact
-  #       uses: geekyeggo/delete-artifact@v5
-  #       with:
-  #         name: ${{ env.IMAGE_WORKFLOW_ARTIFACT_NAME }}
-  #         failOnError: false
+  Publish:
+    runs-on: ubuntu-latest
+    needs: [Build, Test-DH, Test-SSM-Agent]
+    timeout-minutes: 5
+    # set per-job GITHUB_TOKEN permissions such that pushing the Docker image will be possible:
+    permissions:
+      packages: write
+    steps:
+      - name: Download artifact
+        uses: actions/download-artifact@v4
+        with:
+          name: ${{ env.IMAGE_WORKFLOW_ARTIFACT_NAME }}
+          path: /tmp
+
+      # - name: Load image
+      #   run: docker load --input /tmp/image.tar
+
+      # - name: Login to Github Packages
+      #   uses: docker/login-action@v3
+      #   with:
+      #     registry: ghcr.io
+      #     username: ${{ github.actor }}
+      #     password: ${{ secrets.GITHUB_TOKEN }}
+
+      # - name: Push image
+      #   run: docker push ${{ needs.Build.outputs.IMAGE_TAG }}
+
+  Cleanup:
+    runs-on: ubuntu-latest
+    needs: Publish
+    if: always()
+    # set per-job GITHUB_TOKEN permissions such that deleting workflow artifacts will be possible:
+    permissions:
+      actions: write
+    steps:
+      - name: Delete artifact
+        uses: geekyeggo/delete-artifact@v5
+        with:
+          name: ${{ env.IMAGE_WORKFLOW_ARTIFACT_NAME }}
+          failOnError: false