Add upgrade cairo flag

Author: maciektr

.github/workflows/build-dev.yml

@@ -37,6 +37,7 @@ jobs:
     uses: ./.github/workflows/nightly.yml
     with:
       dry_run: ${{ inputs.dry_run }}
+      upgrade-cairo: ${{ inputs.upgrade-cairo }}
       upgrade-cairols: ${{ inputs.upgrade-cairols }}
       upgrade-cairolint: ${{ inputs.upgrade-cairolint }}
       #upgrade-stwo: ${{ inputs.upgrade-stwo }}

.github/workflows/nightly.yml

@@ -7,6 +7,10 @@ on:
         description: "Dry run"
         type: boolean
         default: true
+      upgrade-cairo:
+        description: "Upgrade Cairo"
+        type: boolean
+        default: true
       upgrade-cairols:
         description: "Upgrade CairoLS"
         type: boolean
@@ -25,6 +29,10 @@ on:
         description: "Dry run"
         type: boolean
         default: true
+      upgrade-cairo:
+        description: "Upgrade Cairo"
+        type: boolean
+        default: true
       upgrade-cairols:
         description: "Upgrade CairoLS"
         type: boolean
@@ -83,6 +91,7 @@ jobs:
         run: cargo build -p xtask
 
       - name: Upgrade Cairo to latest main commit
+        if: ${{ !contains(inputs.upgrade-cairo, 'false') }}
         run: cargo xtask upgrade cairo --rev $(git ls-remote --refs "https://github.com/starkware-libs/cairo" main | awk '{print $1}')
 
       - name: Upgrade CairoLS to latest main commit