Try again to build on Linux using vcpkg

[hermanventer]

Description

Add linux the test matrix for the MIRAI on MIRAI test.

Fixes # (issue)

Type of change

• Bug fix (non-breaking change which fixes an issue)
• New feature (non-breaking change which adds functionality)
• Breaking change (fix or feature that would cause existing functionality to not work as expected)
• API change with a documentation update
• Additional test coverage
• Code cleanup or just keeping up with the latest Rustc nightly

How Has This Been Tested?

CI

[codecov]

Codecov Report

Merging #1246 (cdd233e) into main (f69b1dc) will decrease coverage by 1%.
The diff coverage is n/a.

@@          Coverage Diff          @@
##            main   #1246   +/-   ##
=====================================
- Coverage     74%     74%   -1%     
=====================================
  Files         23      23           
  Lines      16827   16827           
=====================================
- Hits       12563   12561    -2     
- Misses      4264    4266    +2     

see 1 file with indirect coverage changes

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more