def seconds

ezx@1.11.0.0 · src/ez/timer.bend:11

import ezx@1.11.0.0/src/ez/timer.bend as Timer

import Base
import ezx@1.11.0.0/src/share/env.bend as Env

11# how many seconds a whole run may take. Five minutes is what the gate is held
12# to; a tree that honestly needs longer says so in EZ_DEADLINE, and "0" turns
13# the budget off for someone bisecting with the cache cold.
14def seconds() -> IO(String):
15  Env.var("EZ_DEADLINE", "300")

Uses (3)

Used by (1)

ezx@1.11.0.0/src/ez/test:run