update workflow file

rishav-karanjit · rishav-karanjit · commit 3232a2380600 · 2025-04-01T14:44:27.000-07:00
diff --git a/.github/workflows/pull.yml b/.github/workflows/pull.yml
@@ -4,6 +4,11 @@ name: PR CI
 
 on:
   pull_request:
+  push:
+    branches:
+      - Golang/reviewed
+  schedule:
+    - cron: "00 16 * * 1-5"
 
 jobs:
   getVersion:
diff --git a/submodules/MaterialProviders b/submodules/MaterialProviders
@@ -1 +1 @@
-Subproject commit f5eb0c0f1a979b400fcc5e152a2f671cafc7fe11
+Subproject commit ccd56cfae7c784e3c852d1f4bcc0b7127525f7d8
diff --git a/submodules/smithy-dafny b/submodules/smithy-dafny
@@ -1 +1 @@
-Subproject commit 58dcf1e66f1a115a92a8c3e8c6a2a5368a308b98
+Subproject commit 276aacb938b78401f0f50006c01195e7d241b216
