Skip to content

CLI gaps: tasks --proof-requirement, KB literal placeholders, templates add-task-refs - #389

Merged
alexeygrigorev merged 3 commits into
mainfrom
cli-gaps
Nov 9, 2026
Merged

CLI gaps: tasks --proof-requirement, KB literal placeholders, templates add-task-refs#389
alexeygrigorev merged 3 commits into
mainfrom
cli-gaps

Accept <TIME> and slash placeholders like <CET/CEST> in KB templates

a0f2877
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Validate backend browser flows
succeeded Nov 9, 2026 in 14m 24s