feat: StandardLibrary for Go

Author: Shubham Chaturvedi

.github/workflows/pull.yml

@@ -34,6 +34,11 @@ jobs:
     uses: ./.github/workflows/library_net_tests.yml
     with:
       dafny: ${{needs.getVersion.outputs.version}}
+  pr-ci-go:
+    needs: getVersion
+    uses: ./.github/workflows/library_go_tests.yml
+    with:
+      dafny: ${{needs.getVersion.outputs.version}}
   pr-ci-rust:
     needs: getVersion
     uses: ./.github/workflows/library_rust_tests.yml