time
af15cf16b0
time/worker-run cd .github/time; python3 - <<'E'
p='time.py'; s=open(p).read()
s=s.replace('''PLAN_PROMPT = """Split
ci / test (push) Successful in 47s
sync / sync (push) Successful in 8s
ci / test (pull_request) Successful in 46s
heartbeat / tick (pull_request_review) Successful in 12s
Co-authored-by: Time <time@users.noreply.teahub.xyz>