Skip to content

Adding an overall timeout option#483

Merged
marcoeilers merged 3 commits into
masterfrom
meilers_timeout
Dec 7, 2023
Merged

Adding an overall timeout option#483
marcoeilers merged 3 commits into
masterfrom
meilers_timeout

Using Option type instead to mark timeout

5429a24
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs
⚡