-
Notifications
You must be signed in to change notification settings - Fork 4
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Add integration test #33
Conversation
Where is stage in CI for test run? In |
Yes, we deploy scripts (as a launcher and witness visualizer) and then run integration tests |
4aa7e7f
to
45871da
Compare
45871da
to
bf6a41a
Compare
Maybe, it is clearer to extract tests into a separate stage? Or it is difficult? |
We need build artifacts for tests (deploy directory with installed dependencies). Currently test itself requires about 10-15 seconds, whereas deployment requires about 20 minutes |
Can we reuse docker image from one stage to the other? |
In gitlab CI we may reuse the previous stages. I do not known |
BenchExec currently does not support cgroupv2 without workaround in kernel config, thus we need an option to run tests without limitations.
This reverts commit 744994d.
Issue #25