ci: support Cairo1 recompile in CI

[dorimedini-starkware]

This change is 

[codecov-commenter]

Codecov Report

Attention: Patch coverage is 0% with 5 lines in your changes are missing coverage. Please review.

Project coverage is 76.47%. Comparing base (103ae1b) to head (cf07a5d).

Files	Patch %	Lines
crates/blockifier/src/test_utils/contracts.rs	0.00%	5 Missing ⚠️

Additional details and impacted files

@@                           Coverage Diff                           @@
##           dori/add-cairo1-version-file-for-ci    #1877      +/-   ##
=======================================================================
- Coverage                                76.48%   76.47%   -0.01%     
=======================================================================
  Files                                       61       61              
  Lines                                     8770     8771       +1     
  Branches                                  8770     8771       +1     
=======================================================================
  Hits                                      6708     6708              
- Misses                                    1622     1623       +1     
  Partials                                   440      440              

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[dorimedini-starkware]

Reviewable status: 0 of 19 files reviewed, all discussions resolved (waiting on @dorimedini-starkware)

---

.github/workflows/compiled_cairo.yml line 1 at r2 (raw file):

name: Verify Cairo File Dependencies

this was a mistake before, IIUC. now the workflows area doesn't show CI twice

Code quote:

Verify Cairo File Dependencies

[giladchase]

Reviewed 17 of 19 files at r2, 2 of 2 files at r3, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @OriStarkware and @Yoni-Starkware)

---

.github/workflows/compiled_cairo.yml line 1 at r2 (raw file):

Previously, dorimedini-starkware wrote…

this was a mistake before, IIUC. now the workflows area doesn't show CI twice

OMG THANK YOU!
This was so annoying.

---

.github/workflows/compiled_cairo.yml line 48 at r3 (raw file):

          fetch-tags: tags
          ref: ${{ env.TAG }}
          path: 'cairo'

Do we want to add - uses: Swatinem/rust-cache@v2 to these entries?
Might save the cloning time, though it's probably negligible since this isn't run too often.

Code quote:

      # Checkout blockifier into a dedicated directory - technical requirement in order to be able to checkout `cairo` in a sibling directory.
      - name: checkout blockifier into `blockifier` directory.
        uses: actions/checkout@v4
        with:
          repository: 'starkware-libs/blockifier'
          path: 'blockifier'

      - name: Read Cairo1 Tag to compile contracts with from Blockifier.
        id: read-tag
        # GITHUB_ENV is a variable github allocates for dynamic stuff inside workflow like our usage, name not customizable.
        run: echo "TAG=$(cat blockifier/crates/blockifier/tests/cairo1_compiler_tag.txt)" >> $GITHUB_ENV

      - name: Read legacy Cairo1 Tag to compile the legacy contract with.
        id: read-legacy-tag
        # GITHUB_ENV is a variable github allocates for dynamic stuff inside workflow like our usage, name not customizable.
        run: echo "LEGACY_TAG=$(cat blockifier/crates/blockifier/tests/legacy_cairo1_compiler_tag.txt)" >> $GITHUB_ENV

      - name: checkout cairo1 repo in order to compile cairo1 contracts.
        uses: actions/checkout@v4
        with:
          repository: 'starkware-libs/cairo'
          fetch-tags: tags
          ref: ${{ env.TAG }}
          path: 'cairo'

---

crates/blockifier/tests/feature_contracts_compatibility_test.rs line 147 at r3 (raw file):

            } else {
                std::env::var("CI").is_err() || !contract.is_legacy()
            })

Totally optional, only if you feel like it,

Suggestion:

    let fix_features = env::var("FIX_FEATURE_TEST").is_ok();
    let test_legacy_only = env::var("LEGACY").is_ok();
    let not_in_ci = env::var("CI").is_err();

    let contracts_to_test = FeatureContract::all_feature_contracts().filter(|contract| {
        // If called with LEGACY environment variable set, only test legacy contracts (from CI
        // or not).
        // If tested from the CI *without* the LEGACY environment variable set, test only
        // non-legacy contracts of the respective cairo version.
        // If not tested from CI, test all contracts of the requested cairo version.
        contract.cairo_version() == cairo_version
            && (if test_legacy_only {
                contract.is_legacy()
            } else {
                not_in_ci || !contract.is_legacy()
            })

[giladchase]

Reviewed 1 of 2 files at r4, 1 of 1 files at r5, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @OriStarkware and @Yoni-Starkware)

---

crates/blockifier/tests/feature_contracts_compatibility_test.rs line 147 at r3 (raw file):

Previously, giladchase wrote…

Totally optional, only if you feel like it,

🔥