Skip to content
Back to pull request #1321

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

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… #1031

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

lint.yml

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