push CI

Author: rishav-karanjit

.github/workflows/push.yml

@@ -5,7 +5,7 @@ name: Push CI
 on:
   push:
     branches:
-      - main
+      - Golang/reviewed
 
 jobs:
   getVersion:
@@ -57,6 +57,11 @@ jobs:
     uses: ./.github/workflows/library_rust_tests.yml
     with:
       dafny: ${{needs.getVersion.outputs.version}}
+  pr-ci-go:
+    needs: getVersion
+    uses: ./.github/workflows/ci_test_go.yml
+    with:
+      dafny: ${{needs.getVersion.outputs.version}}
   pr-ci-net-test-vectors:
     needs: getVersion
     uses: ./.github/workflows/ci_test_vector_net.yml