Skip to content
MyPy

Fixed issue where persistent history file was not saved upon SIGTERM … #793

Sign in to view logs

Fixed issue where persistent history file was not saved upon SIGTERM …

Fixed issue where persistent history file was not saved upon SIGTERM … #793

Triggered via push September 12, 2024 21:16
@kmvanbruntkmvanbrunt
pushed 8a37d86
handle_termination_signals
Status Success
Total duration 38s
Artifacts –

mypy.yml

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