Reorder CI steps and restore Print invariants step

Author: ange1506

.github/workflows/ci.yml

@@ -33,11 +33,7 @@ jobs:
           docker run --rm --entrypoint bash invcon -c "
             java -version 2>&1 &&
             java -cp /app/daikon-5.8.6/daikon.jar daikon.Daikon --help 2>&1 | head -10
-          "
-          
-      - name: Print invariants
-        run: |
-          cat /tmp/invcon-out/0x0e9d46eed51a527db8f5c12a803eb7fddf4da332/TokenERC20.inv  
+          "  
           
       - name: Run smoke test
         env:
@@ -52,6 +48,10 @@ jobs:
             --workspace /home/realworldcontracts/ \
             | tee output.txt || true
             
+      - name: Print invariants
+        run: |
+          cat /tmp/invcon-out/0x0e9d46eed51a527db8f5c12a803eb7fddf4da332/TokenERC20.inv
+            
       - name: Validate output
         run: |
           grep -q "finished" output.txt || { echo "FAIL: invcon did not complete"; exit 1; }