Skip to content
Back to pull request #1321

Fixed issue where persistent history file was not saved upon SIGHUP a… #812

Sign in to view logs

Fixed issue where persistent history file was not saved upon SIGHUP a…

Fixed issue where persistent history file was not saved upon SIGHUP a… #812

Triggered via push September 13, 2024 15:45
@kmvanbruntkmvanbrunt
pushed 3972880
handle_termination_signals
Status Success
Total duration 36s
Artifacts –

mypy.yml

on: push
Matrix: mypy
Fit to window
Zoom out
Zoom in