Skip to content
Lint

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

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

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

lint.yml

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