verify_cairo_programs.yml

name: Verify Cairo programs compilation

on:
  push:
    branches:
      - dev
    tags-ignore:
      - "*"
  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

    steps:
      - name: Checkout
        uses: actions/checkout@v4
        with:
          fetch-depth: 0

      - name: Configure upstream repository
        run: |
          git remote add upstream https://github.com/NethermindEth/StarknetByExample
          git fetch upstream

      - name: Install scarb
        uses: software-mansion/setup-scarb@v1

      - name: Install snforge
        uses: foundry-rs/setup-snfoundry@v3

      - name: Verify changes
        run: |
          chmod +x scripts/cairo_programs_verifier.sh
          ./scripts/cairo_programs_verifier.sh