Build without ODE on Windows CI builds

[jslee02]

To suppress build error: https://github.com/dartsim/dart/runs/621262581?check_suite_focus=true#step:3:1096

[traversaro]

FYI the vcpkg upstream error should be fixed (once merged) by microsoft/vcpkg#11029 .

[jslee02]

@traversaro Wow, thanks! I should not merge this unless microsoft/vcpkg#11029 is not merged in time. 😄

[jslee02]

Well, on second thought, this should be merged for now because we use pre-installed vcpkg on GitHub Actions. 😞 Then revert once vcpkg is updated with your patch.

[traversaro]

You probably already know about this, but to avoid this kind of problems you could try the GitHub Action cache feature (https://help.github.com/en/actions/configuring-and-managing-workflows/caching-dependencies-to-speed-up-workflows). It is quite convenient and it also have a flexible invalidation mechanism (so you can decide if the cache is invalidate if the vcpkg version changes or just when you explicitly invalidate it).

[codecov]

Codecov Report

Merging #1453 into master will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##           master    #1453   +/-   ##
=======================================
  Coverage   58.24%   58.24%           
=======================================
  Files         412      412           
  Lines       29923    29923           
=======================================
  Hits        17428    17428           
  Misses      12495    12495           

[jslee02]

It looks very promising! I know Travis and Appveyor support similar features but didn't know if GitHub Actions also supports it. Thanks!