Build and push real images

Author: abailly

.github/workflows/cardano-node.yaml

@@ -49,29 +49,27 @@ jobs:
     - name: 🏗  Build images
       working-directory: compose
       run: |
-        docker build -t ${{ env.REGISTRY }}/antithesis-test:latest -f tracer-sidecar/Dockerfile tracer-sidecar
-        # make build testnet=${{ env.TESTNET }} registry=${{ env.REGISTRY }}/
+        make build testnet=${{ env.TESTNET }} registry=${{ env.REGISTRY }}/
 
     - name: 🚢 Push images
       working-directory: compose
       run: |
-        docker push ${{ env.REGISTRY }}/antithesis-test:latest
-        # make push testnet=${{ env.TESTNET }} registry=${{ env.REGISTRY }}/
+        make push testnet=${{ env.TESTNET }} registry=${{ env.REGISTRY }}/
 
     # this is where we should send a request on-chain
     # for now we use the GHA provided by AT
-    # - name: 🏃 Trigger Antithesis
-    #   uses: antithesishq/[email protected]
-    #   with:
-    #     notebook_name: cardano
-    #     tenant: cardano
-    #     username: ${{ secrets.ANTITHESIS_USERNAME }}
-    #     password: ${{ secrets.ANTITHESIS_PASSWORD }}
-    #     github_token: ${{ secrets.GH_PAT }}
-    #     images: ${{ env.REGISTRY }}/${{ env.TESTNET }}:latest;${{ env.REGISTRY }}/${{ env.TESTNET }}_sidecar:latest;${{ env.REGISTRY }}/${{ env.TESTNET }}_tracer:latest;${{ env.REGISTRY }}/${{ env.TESTNET }}_tracer-sidecar:latest
-    #     config_image: ${{ env.REGISTRY }}/${{ env.TESTNET }}_config:latest
-    #     description: "Run ${{ env.TESTNET }}"
-    #     email_recipients: ${{ env.EMAILS }}
-    #     test_name: "${{ inputs.test }}"
-    #     additional_parameters: |-
-    #       duration=${{ env.DURATION }}
+    - name: 🏃 Trigger Antithesis
+      uses: antithesishq/[email protected]
+      with:
+        notebook_name: cardano
+        tenant: cardano
+        username: ${{ secrets.ANTITHESIS_USERNAME }}
+        password: ${{ secrets.ANTITHESIS_PASSWORD }}
+        github_token: ${{ secrets.GH_PAT }}
+        images: ${{ env.REGISTRY }}/${{ env.TESTNET }}:latest;${{ env.REGISTRY }}/${{ env.TESTNET }}_sidecar:latest;${{ env.REGISTRY }}/${{ env.TESTNET }}_tracer:latest;${{ env.REGISTRY }}/${{ env.TESTNET }}_tracer-sidecar:latest
+        config_image: ${{ env.REGISTRY }}/${{ env.TESTNET }}_config:latest
+        description: "Run ${{ env.TESTNET }}"
+        email_recipients: ${{ env.EMAILS }}
+        test_name: "${{ inputs.test }}"
+        additional_parameters: |-
+          duration=${{ env.DURATION }}