feat: Tactic with timeout #179

Merged
aniva merged 3 commits from repl/timeout into dev 2025-03-28 21:31:59 -07:00
Owner

Solves #102.

  • refactor: Remove the CR type and use Protocol.FallibleT
  • fix(env): Adding declarations with levels
Solves #102. - refactor: Remove the `CR` type and use `Protocol.FallibleT` - fix(env): Adding declarations with levels
aniva added this to the 0.3 milestone 2025-03-28 19:07:45 -07:00
aniva added the
part/REPL
category
feature
part/Goal
labels 2025-03-28 19:07:45 -07:00
aniva self-assigned this 2025-03-28 19:07:45 -07:00
aniva added 1 commit 2025-03-28 19:07:46 -07:00
aniva added a new dependency 2025-03-28 19:07:53 -07:00
Author
Owner

Need to ensure timeout doesn't crash the REPL.

Need to ensure timeout doesn't crash the REPL.
aniva added 1 commit 2025-03-28 20:42:30 -07:00
aniva added 1 commit 2025-03-28 21:31:48 -07:00
aniva merged commit 3c07188cdf into dev 2025-03-28 21:31:59 -07:00
aniva deleted branch repl/timeout 2025-03-28 21:31:59 -07:00
Sign in to join this conversation.
No description provided.