HOTFIX run booster integration on change to kore

runtimeverification / haskell-backend

The symbolic execution engine powering the K Framework

BSD 3-Clause "New" or "Revised" License

208 stars 41 forks source link

HOTFIX run booster integration on change to kore #3946

Closed goodlyrottenapple closed 3 months ago

goodlyrottenapple commented 3 months ago

The previously merged PR (#3939) broke booster integration tests, however, the CI didn't run those and the PR was merged without this being discovered. This PR fixes the tests and modifies the CI run to always run booster integration whenever any kore files change.