Increase test timeout values - Githubissues

runtimeverification / pyk

Python tools for the K Framework

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

13 stars 2 forks source link

Increase test timeout values #1016

Closed tothtamas28 closed 7 months ago

tothtamas28 commented 7 months ago

Related:

https://github.com/runtimeverification/k/issues/4066#issuecomment-2012652008

tothtamas28 commented 7 months ago

This doesn't seem to solve the issue: https://github.com/runtimeverification/pyk/actions/runs/8389528520/job/22975972233?pr=1004#step:4:2606

I opened a PR to experiment with various setups: #1017.