Skip to content

Skip slow tests in pipelines ran on push

Victor Dumitrescu requested to merge vdum-tests into master

The current setup doesn't allow us to pass the -q flag to test executables, which Alcotest expects in order to skip tests marked as "slow". This MR makes the default runtest target run with this flag and creates an additional runtest_slow target which includes all tests.

It also fixes a few typos in test files.

Still to do:

  • define when we want to run the slow tests
Edited by Victor Dumitrescu

Merge request reports