Skip to content

Write settings.json atomically - #1636

Merged
sjoelund merged 1 commit into
OpenModelica:masterfrom
sjoelund:atomic-settings-json
Aug 26, 2026
Merged

sjoelund merged 1 commit into
OpenModelica:masterfrom
sjoelund:atomic-settings-json

Write settings.json atomically

6a5bf70
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
coverage
succeeded Aug 26, 2026 in 2m 48s