Skip to content

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

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
Status Success
Total duration 45s
Artifacts

doc.yml

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