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)	2.021 ± 0.014	1.999	2.041	1.04 ± 0.01
base dict_insert.cairo (AOT)	1.945 ± 0.012	1.920	1.956	1.00

Head

Command	Mean [s]	Min [s]	Max [s]	Relative
head dict_insert.cairo (JIT)	2.190 ± 0.039	2.128	2.242	1.04 ± 0.02
head dict_insert.cairo (AOT)	2.111 ± 0.023	2.074	2.160	1.00

Base

Command	Mean [s]	Min [s]	Max [s]	Relative
base dict_snapshot.cairo (JIT)	1.748 ± 0.017	1.713	1.776	1.07 ± 0.01
base dict_snapshot.cairo (AOT)	1.639 ± 0.015	1.614	1.663	1.00

Head

Command	Mean [s]	Min [s]	Max [s]	Relative
head dict_snapshot.cairo (JIT)	1.845 ± 0.020	1.825	1.888	1.06 ± 0.03
head dict_snapshot.cairo (AOT)	1.736 ± 0.036	1.686	1.806	1.00

Base

Command	Mean [s]	Min [s]	Max [s]	Relative
base factorial_2M.cairo (JIT)	2.162 ± 0.017	2.128	2.188	1.01 ± 0.02
base factorial_2M.cairo (AOT)	2.134 ± 0.034	2.100	2.200	1.00

Head

Command	Mean [s]	Min [s]	Max [s]	Relative
head factorial_2M.cairo (JIT)	2.251 ± 0.029	2.216	2.313	1.03 ± 0.02
head factorial_2M.cairo (AOT)	2.195 ± 0.021	2.165	2.232	1.00

Base

Command	Mean [s]	Min [s]	Max [s]	Relative
base fib_2M.cairo (JIT)	1.719 ± 0.014	1.697	1.741	1.02 ± 0.02
base fib_2M.cairo (AOT)	1.688 ± 0.026	1.658	1.738	1.00

Head

Command	Mean [s]	Min [s]	Max [s]	Relative
head fib_2M.cairo (JIT)	1.792 ± 0.014	1.768	1.809	1.04 ± 0.02
head fib_2M.cairo (AOT)	1.728 ± 0.028	1.692	1.769	1.00

Base

Command	Mean [s]	Min [s]	Max [s]	Relative
base linear_search.cairo (JIT)	1.861 ± 0.023	1.826	1.898	1.07 ± 0.03
base linear_search.cairo (AOT)	1.737 ± 0.035	1.680	1.790	1.00

Head

Command	Mean [s]	Min [s]	Max [s]	Relative
head linear_search.cairo (JIT)	1.904 ± 0.020	1.875	1.946	1.08 ± 0.02
head linear_search.cairo (AOT)	1.763 ± 0.017	1.748	1.794	1.00

Base

Command	Mean [s]	Min [s]	Max [s]	Relative
base logistic_map.cairo (JIT)	1.992 ± 0.013	1.976	2.015	1.09 ± 0.02
base logistic_map.cairo (AOT)	1.826 ± 0.026	1.797	1.877	1.00

Head

Command	Mean [s]	Min [s]	Max [s]	Relative
head logistic_map.cairo (JIT)	2.071 ± 0.021	2.034	2.095	1.10 ± 0.02
head logistic_map.cairo (AOT)	1.888 ± 0.022	1.853	1.929	1.00

[codecov-commenter]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 72.88%. Comparing base (f1f1ced) to head (4cf0b25).

Additional details and impacted files

@@           Coverage Diff           @@
##             main    #1501   +/-   ##
=======================================
  Coverage   72.88%   72.88%           
=======================================
  Files         110      110           
  Lines       27137    27137           
=======================================
+ Hits        19779    19780    +1     
+ Misses       7358     7357    -1     

☔ 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)	11.429 ± 0.063	11.348	11.553	5.52 ± 0.10
cairo-native (embedded AOT)	2.070 ± 0.034	2.019	2.144	1.00
cairo-native (embedded JIT using LLVM's ORC Engine)	2.130 ± 0.037	2.073	2.198	1.03 ± 0.02

Benchmark for program dict_snapshot

Open benchmarks

Command	Mean [ms]	Min [ms]	Max [ms]	Relative
Cairo-vm (Rust, Cairo 1)	610.5 ± 13.1	593.4	637.2	1.00
cairo-native (embedded AOT)	1794.3 ± 35.2	1746.0	1874.3	2.94 ± 0.09
cairo-native (embedded JIT using LLVM's ORC Engine)	1904.4 ± 18.7	1873.0	1941.5	3.12 ± 0.07

Benchmark for program factorial_2M

Open benchmarks

Command	Mean [s]	Min [s]	Max [s]	Relative
Cairo-vm (Rust, Cairo 1)	5.139 ± 0.017	5.118	5.171	2.34 ± 0.02
cairo-native (embedded AOT)	2.199 ± 0.016	2.175	2.221	1.00
cairo-native (embedded JIT using LLVM's ORC Engine)	2.232 ± 0.018	2.198	2.264	1.02 ± 0.01

Benchmark for program fib_2M

Open benchmarks

Command	Mean [s]	Min [s]	Max [s]	Relative
Cairo-vm (Rust, Cairo 1)	4.990 ± 0.016	4.963	5.020	2.77 ± 0.04
cairo-native (embedded AOT)	1.802 ± 0.028	1.761	1.854	1.00
cairo-native (embedded JIT using LLVM's ORC Engine)	1.810 ± 0.022	1.775	1.840	1.00 ± 0.02

Benchmark for program linear_search

Open benchmarks

Command	Mean [ms]	Min [ms]	Max [ms]	Relative
Cairo-vm (Rust, Cairo 1)	634.0 ± 6.8	623.6	642.8	1.00
cairo-native (embedded AOT)	1746.3 ± 16.9	1719.8	1774.3	2.75 ± 0.04
cairo-native (embedded JIT using LLVM's ORC Engine)	1877.9 ± 13.5	1861.6	1901.3	2.96 ± 0.04

Benchmark for program logistic_map

Open benchmarks

Command	Mean [ms]	Min [ms]	Max [ms]	Relative
Cairo-vm (Rust, Cairo 1)	532.8 ± 7.1	523.3	545.7	1.00
cairo-native (embedded AOT)	1900.9 ± 21.8	1867.5	1938.2	3.57 ± 0.06
cairo-native (embedded JIT using LLVM's ORC Engine)	2060.7 ± 24.1	2027.1	2094.5	3.87 ± 0.07

[gabrielbosio]

It would be nice if we can have a way to test this workflow so that we don't have to wait until Monday to test it (Maybe adding a manual trigger?).

[FrancoGiachetta]

It would be nice if we can have a way to test this workflow so that we don't have to wait until Monday to test it (Maybe adding a manual trigger?).

I did a test in commit ef367b8. The results can be seen here. Since cairo's last release is 2.14.1-dev.3 and it is greater the one currently being used (2.14.1-dev.1) it made to end of the workflow.

I added I manual trigger though, just in case. It can be checked here: f422616.