feat: update CI/CD

Author: julio4

.github/workflows/verify_cairo_programs.yml

@@ -1,12 +1,22 @@
 name: Verify Cairo programs compilation
 
 on:
+  push:
+    branches:
+      - dev
   pull_request:
     branches:
       - dev
+      - main
   workflow_dispatch:
 
 jobs:
+  typos:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: crate-ci/typos@master
+
   compile_and_verify:
     runs-on: ubuntu-latest
 
@@ -19,21 +29,15 @@ jobs:
       - name: Configure upstream repository
         run: |
           git remote add upstream https://github.com/NethermindEth/StarknetByExample
-          git fetch upstream main
+          git fetch upstream
 
       - name: Install scarb
         uses: software-mansion/setup-scarb@v1
 
       - name: Install snforge
         uses: foundry-rs/setup-snfoundry@v3
 
-      - name: Run build script
+      - name: Verify changes
         run: |
           chmod +x scripts/cairo_programs_verifier.sh
           ./scripts/cairo_programs_verifier.sh
-
-  typos:
-    runs-on: ubuntu-latest
-    steps:
-      - uses: actions/checkout@v4
-      - uses: crate-ci/typos@master