Skip to content

Fixed bug where complete() did not edit temporary session created by read_input(). #643

Fixed bug where complete() did not edit temporary session created by read_input().

Fixed bug where complete() did not edit temporary session created by read_input(). #643

Triggered via pull request February 26, 2026 19:50
Status Success
Total duration 26s
Artifacts

typecheck.yml

on: pull_request
Matrix: type-check
Fit to window
Zoom out
Zoom in