pj 47481fed93 docs: say how the cli and spec package versions relate

2026-08-15 13:32:28 +05:30

..

case-study.md

ci: dispatch workflows for folio and the replay ui (#73)

2026-08-15 13:01:27 +05:30

cli.md

ci: dispatch workflows for folio and the replay ui (#73)

2026-08-15 13:01:27 +05:30

getting-started.md

docs: say how the cli and spec package versions relate

2026-08-15 13:32:28 +05:30

index.md

docs update with case study (#63)

2026-06-09 20:13:54 +05:30

introduction.md

ci: dispatch workflows for folio and the replay ui (#73)

2026-08-15 13:01:27 +05:30

replay.md

docs update with case study (#63)

2026-06-09 20:13:54 +05:30

runs.md

docs update with case study (#63)

2026-06-09 20:13:54 +05:30

spec-language.md

fix ltl semantics and unify action enumeration (#71)

2026-08-12 18:06:04 +05:30