Fine-tune CI tests - Githubissues

runtimeverification / pyk

Python tools for the K Framework

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

13 stars 2 forks source link

Closed tothtamas28 closed 5 months ago

tothtamas28 commented 5 months ago

Reduce the number of workers from 4 to 2: improves stability without increasing execution time.
Do not measure coverage for integration-tests: we do not really use that data on CI.
Remove test case 'imp-simple-sum-1000': this is by far the longest running test.
Set tight values for CLIENT_TIMEOUT and pytest --timeout.