diff options
| author | Ben Sima <ben@bsima.me> | 2025-06-13 10:26:01 -0400 |
|---|---|---|
| committer | Ben Sima <ben@bsima.me> | 2025-06-13 10:26:01 -0400 |
| commit | 089f4db92064cff021684312317a9f7bbdcde4ae (patch) | |
| tree | 3a0b258cf18a1192e23ca896b848088ff7a89c42 /Omni/Id.hs | |
| parent | 202c8cf1112bf59ce8dbec886af02c226c0f4b3e (diff) | |
Disable timeout for CI builds
Basically every time I try to run CI it times out, so just disable timeout on CI
jobs for now.
Diffstat (limited to 'Omni/Id.hs')
0 files changed, 0 insertions, 0 deletions