Skip to content

PR v1.2.5#12

Merged
YaroSpace merged 5 commits intomainfrom
develop
Mar 6, 2025
Merged

PR v1.2.5#12
YaroSpace merged 5 commits intomainfrom
develop

Conversation

@YaroSpace
Copy link
Copy Markdown
Owner

@YaroSpace YaroSpace commented Mar 6, 2025

  • Added strip_local option to strip local declarations
  • Added _ex, _ex:kill(), _ex:is_closing() - to query and kill evaluator process
  • Added key mapping to kill evaluator process
  • Added status of running evaluator process
  • Added clear_result_before_eval option
  • Added notify_result option
  • Added process_timeout option

@YaroSpace YaroSpace self-assigned this Mar 6, 2025
@YaroSpace YaroSpace force-pushed the develop branch 3 times, most recently from 5e6f3e7 to 97d6f1a Compare March 6, 2025 11:59
@YaroSpace YaroSpace merged commit ed1f906 into main Mar 6, 2025
5 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant