fix(docker): fix pip installs the latest cmake

[LinerSu]

No description provided.

[codecov]

Codecov Report

Merging #130 (f471952) into master (4933a1a) will decrease coverage by 0.78%.
The diff coverage is n/a.

@@            Coverage Diff             @@
##           master     #130      +/-   ##
==========================================
- Coverage   95.61%   94.82%   -0.79%     
==========================================
  Files         160      160              
  Lines        4950     4950              
==========================================
- Hits         4733     4694      -39     
- Misses        217      256      +39     

Impacted Files	Coverage Δ
...init_dynamic/aws_array_list_init_dynamic_harness.c	80.64% <0.00%> (-19.36%)	⬇️
...re_lookup/aws_byte_cursor_compare_lookup_harness.c	87.50% <0.00%> (-12.50%)	⬇️
...ahorn/jobs/byte_buf_cat/aws_byte_buf_cat_harness.c	88.46% <0.00%> (-11.54%)	⬇️
seahorn/lib/fuzz_hash_table_helper.c	70.94% <0.00%> (-8.55%)	⬇️
...iter_begin_done/aws_hash_iter_begin_done_harness.c	91.66% <0.00%> (-8.34%)	⬇️
.../byte_buf_eq_c_str/aws_byte_buf_eq_c_str_harness.c	94.28% <0.00%> (-5.72%)	⬇️
...cursor_eq_c_str/aws_byte_cursor_eq_c_str_harness.c	94.59% <0.00%> (-5.41%)	⬇️
...n/jobs/array_eq_c_str/aws_array_eq_c_str_harness.c	94.87% <0.00%> (-5.13%)	⬇️

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

[priyasiddharth]

LGTM