informalsystems / themis-tracer

A tool for managing complex contexts for developing critical systems
Apache License 2.0
4 stars 0 forks source link

Move away from limits of github-centric approach #74

Open shonfeder opened 3 years ago

shonfeder commented 3 years ago

Currently, our specification workflow relies heavily on github rendering of markdown files in repos. This puts a lot of constraints on the markup we can support in human specs and on the ways we can make specs navigable.

To move away from this, we'll need good infrastructure to support quickly and easily producing more robust presentations of the specs. This will involve some CI work, and some tooling to support a preview and development workflow.