copy from java

Author: rishav-karanjit

.github/workflows/ci_test_go.yml

@@ -122,13 +122,12 @@ jobs:
         run: |
           make polymorph_go
       
-      # TODO: uncomment this
-      # - name: Copy ${{ matrix.library }} Vector Files
-      #   if: ${{ matrix.library == 'TestVectors' }}
-      #   shell: bash
-      #   working-directory: ./${{ matrix.library }}
-      #   run: |
-      #     cp runtimes/java/*.json runtimes/go/TestsFromDafny-go/
+      - name: Copy ${{ matrix.library }} Vector Files
+        if: ${{ matrix.library == 'TestVectors' }}
+        shell: bash
+        working-directory: ./${{ matrix.library }}
+        run: |
+          cp runtimes/java/*.json runtimes/go/TestsFromDafny-go/
   
       - name: Test ${{ matrix.library }}
         working-directory: ./${{ matrix.library }}