Skip to content

search: temporarily run comby-related tests only in CI

Warren Gifford requested to merge rvt/run-comby-tests-on-correct-version into master

Created by: rvantonder

A version mismatch on local dev installations can cause certain tests to break if comby is not upgraded. There is work-in-progress for smoothly integrating comby installation and upgrades via ./dev/launch.sh #6503, but until then, these tests can cause problems for local dev environments.

This PR:

  • removes two noncritical tests that are specific to structural search only, and which will be reintroduced after #6503
  • temporarily disables these tests only in local dev environments (they still run in the CI, which always has the correct version) until #6503 is done.

Test plan: Tested that local development builds do not break for older versions of comby.

Merge request reports