Fix cirrus-ci

[misonijnik]

No description provided.

[codecov-commenter]

Codecov Report

Merging #165 (00d8dd2) into main (35f0b40) will decrease coverage by 0.01%.
The diff coverage is n/a.

❗ Current head 00d8dd2 differs from pull request most recent head be56ae2. Consider uploading reports for the commit be56ae2 to get more accurate results

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #165      +/-   ##
==========================================
- Coverage   69.39%   69.39%   -0.01%     
==========================================
  Files         210      210              
  Lines       30103    30103              
  Branches     6684     6684              
==========================================
- Hits        20891    20889       -2     
- Misses       6700     6701       +1     
- Partials     2512     2513       +1     

Files	Coverage Δ
include/klee-test-comp.c	26.15% <ø> (ø)
include/klee/ADT/Incremental.h	92.15% <ø> (ø)
lib/Core/Executor.cpp	73.92% <ø> (ø)

... and 1 file with indirect coverage changes