Timer.seconds: def of ezx@1.11.0.0 Import: import ezx@1.11.0.0/src/ez/timer.bend as Timer Lines 11-15 of ezx@1.11.0.0/src/ez/timer.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ez/timer.bend&start_line=11&end_line=15 import Base import ezx@1.11.0.0/src/share/env.bend as Env # how many seconds a whole run may take. Five minutes is what the gate is held # to; a tree that honestly needs longer says so in EZ_DEADLINE, and "0" turns # the budget off for someone bisecting with the cache cold. def seconds() -> IO(String): Env.var("EZ_DEADLINE", "300") Uses (3): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/share/env.bend&name=var