Skip to content
TypeCheck

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

Sign in to view logs

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(). #645

Triggered via pull request February 26, 2026 20:14
@kmvanbruntkmvanbrunt
synchronize #1588
add_active_session
Status Success
Total duration 27s
Artifacts –

typecheck.yml

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