Commit Graph

2 Commits

Author SHA1 Message Date
Pekka Enberg
f7bf60e856 github: Add 30 minute timeout to all jobs
We're getting hit by macOS runner concurrency limits whenever some jobs
get stuck (for example, because of a deadlock).
2025-09-26 17:45:42 +03:00
Jussi Saurio
d06bb70514 Add simulator-docker-runner for running limbo-sim in a loop on AWS 2025-06-02 15:51:29 +03:00