Skip to content

Merge pull request #138 from LennartvdM/codex/rename-history-panel-to… #239

Merge pull request #138 from LennartvdM/codex/rename-history-panel-to…

Merge pull request #138 from LennartvdM/codex/rename-history-panel-to… #239

Triggered via push November 14, 2025 13:54
Status Success
Total duration 20s
Artifacts

ci.yml

on: push
Fit to window
Zoom out
Zoom in