Add Cairo release check workflow

[FrancoGiachetta]

Add Cairo release check workflow

Closes #1500

Introduces Breaking Changes?

No.

• Created PR in sequencer
• Created PR in starknet-replay
• Updated the starknet-blocks.yml workflow to use these PRs.

These PRs should be merged after this one right away, in that order.

Checklist

• Linked to Github Issue.
• Unit tests added.
• Integration tests added.
• This change requires new documentation.
  • Documentation has been added/updated.

[github-actions]

Benchmark results Main vs HEAD.

Base

Command	Mean [s]	Min [s]	Max [s]	Relative
base dict_insert.cairo (JIT)	1.964 ± 0.014	1.948	1.986	1.03 ± 0.01
base dict_insert.cairo (AOT)	1.903 ± 0.017	1.879	1.929	1.00

Head

Command	Mean [s]	Min [s]	Max [s]	Relative
head dict_insert.cairo (JIT)	2.024 ± 0.031	1.988	2.069	1.09 ± 0.03
head dict_insert.cairo (AOT)	1.858 ± 0.045	1.797	1.948	1.00

Base

Command	Mean [s]	Min [s]	Max [s]	Relative
base dict_snapshot.cairo (JIT)	1.702 ± 0.017	1.680	1.732	1.06 ± 0.01
base dict_snapshot.cairo (AOT)	1.599 ± 0.014	1.575	1.622	1.00

Head

Command	Mean [s]	Min [s]	Max [s]	Relative
head dict_snapshot.cairo (JIT)	1.737 ± 0.017	1.710	1.760	1.08 ± 0.02
head dict_snapshot.cairo (AOT)	1.615 ± 0.023	1.580	1.653	1.00

Base

Command	Mean [s]	Min [s]	Max [s]	Relative
base factorial_2M.cairo (JIT)	2.105 ± 0.012	2.074	2.116	1.02 ± 0.01
base factorial_2M.cairo (AOT)	2.054 ± 0.014	2.039	2.079	1.00

Head

Command	Mean [s]	Min [s]	Max [s]	Relative
head factorial_2M.cairo (JIT)	2.013 ± 0.025	1.967	2.044	1.01 ± 0.01
head factorial_2M.cairo (AOT)	1.997 ± 0.015	1.976	2.017	1.00

Base

Command	Mean [s]	Min [s]	Max [s]	Relative
base fib_2M.cairo (JIT)	1.659 ± 0.013	1.635	1.681	1.04 ± 0.01
base fib_2M.cairo (AOT)	1.590 ± 0.011	1.573	1.604	1.00

Head

Command	Mean [s]	Min [s]	Max [s]	Relative
head fib_2M.cairo (JIT)	1.664 ± 0.031	1.599	1.700	1.06 ± 0.03
head fib_2M.cairo (AOT)	1.567 ± 0.030	1.521	1.628	1.00

Base

Command	Mean [s]	Min [s]	Max [s]	Relative
base linear_search.cairo (JIT)	1.766 ± 0.015	1.744	1.785	1.08 ± 0.01
base linear_search.cairo (AOT)	1.629 ± 0.011	1.602	1.641	1.00

Head

Command	Mean [s]	Min [s]	Max [s]	Relative
head linear_search.cairo (JIT)	1.738 ± 0.025	1.697	1.779	1.09 ± 0.02
head linear_search.cairo (AOT)	1.596 ± 0.027	1.561	1.642	1.00

Base

Command	Mean [s]	Min [s]	Max [s]	Relative
base logistic_map.cairo (JIT)	1.931 ± 0.008	1.918	1.943	1.10 ± 0.01
base logistic_map.cairo (AOT)	1.754 ± 0.008	1.737	1.761	1.00

Head

Command	Mean [s]	Min [s]	Max [s]	Relative
head logistic_map.cairo (JIT)	1.911 ± 0.028	1.889	1.986	1.11 ± 0.03
head logistic_map.cairo (AOT)	1.725 ± 0.034	1.674	1.779	1.00

[codecov-commenter]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 79.58%. Comparing base (f0a4fdb) to head (45a307e).

Additional details and impacted files

@@           Coverage Diff           @@
##             main    #1501   +/-   ##
=======================================
  Coverage   79.58%   79.58%           
=======================================
  Files         108      108           
  Lines       26739    26739           
=======================================
  Hits        21280    21280           
  Misses       5459     5459           

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

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

[github-actions]

Benchmarking results

Benchmark for program dict_insert

Open benchmarks

Command	Mean [s]	Min [s]	Max [s]	Relative
Cairo-vm (Rust, Cairo 1)	10.944 ± 0.066	10.859	11.072	5.23 ± 0.17
cairo-native (embedded AOT)	2.091 ± 0.065	2.032	2.247	1.00
cairo-native (embedded JIT using LLVM's ORC Engine)	2.157 ± 0.074	2.049	2.270	1.03 ± 0.05

Benchmark for program dict_snapshot

Open benchmarks

Command	Mean [ms]	Min [ms]	Max [ms]	Relative
Cairo-vm (Rust, Cairo 1)	565.0 ± 3.7	560.1	571.0	1.00
cairo-native (embedded AOT)	1708.7 ± 25.4	1684.7	1763.5	3.02 ± 0.05
cairo-native (embedded JIT using LLVM's ORC Engine)	1811.3 ± 31.6	1758.4	1864.4	3.21 ± 0.06

Benchmark for program factorial_2M

Open benchmarks

Command	Mean [s]	Min [s]	Max [s]	Relative
Cairo-vm (Rust, Cairo 1)	4.844 ± 0.037	4.766	4.882	2.23 ± 0.04
cairo-native (embedded AOT)	2.168 ± 0.038	2.104	2.233	1.00
cairo-native (embedded JIT using LLVM's ORC Engine)	2.199 ± 0.027	2.166	2.244	1.01 ± 0.02

Benchmark for program fib_2M

Open benchmarks

Command	Mean [s]	Min [s]	Max [s]	Relative
Cairo-vm (Rust, Cairo 1)	4.768 ± 0.045	4.716	4.867	2.73 ± 0.07
cairo-native (embedded AOT)	1.749 ± 0.041	1.708	1.845	1.00
cairo-native (embedded JIT using LLVM's ORC Engine)	1.826 ± 0.035	1.775	1.879	1.04 ± 0.03

Benchmark for program linear_search

Open benchmarks

Command	Mean [ms]	Min [ms]	Max [ms]	Relative
Cairo-vm (Rust, Cairo 1)	633.6 ± 4.1	626.5	640.6	1.00
cairo-native (embedded AOT)	1770.9 ± 55.6	1712.1	1907.1	2.79 ± 0.09
cairo-native (embedded JIT using LLVM's ORC Engine)	1925.8 ± 32.2	1886.0	1985.9	3.04 ± 0.05

Benchmark for program logistic_map

Open benchmarks

Command	Mean [ms]	Min [ms]	Max [ms]	Relative
Cairo-vm (Rust, Cairo 1)	534.9 ± 11.3	523.2	558.0	1.00
cairo-native (embedded AOT)	1892.5 ± 15.3	1863.4	1917.5	3.54 ± 0.08
cairo-native (embedded JIT using LLVM's ORC Engine)	2074.2 ± 21.3	2047.8	2111.3	3.88 ± 0.09

[JulianGCalderon]

Could you test this workflow manually, to ensure everything works as expected?

[FrancoGiachetta]

Made a test with this commit. The last cairo's release (2.15.0) seems to have no issues with clippy, meaning it will not trigger the issue creation.

[JulianGCalderon]

LGTM!

[JulianGCalderon]

LGTM!

[JulianGCalderon]

LGTM!