Skip to content

Stand a documentation site up on GitHub Pages - #29

Merged
dhruvl merged 4 commits into
mainfrom
docs-site
Aug 4, 2026
Merged

Stand a documentation site up on GitHub Pages#29
dhruvl merged 4 commits into
mainfrom
docs-site

Conversation

@dhruvl

@dhruvl dhruvl commented Aug 4, 2026

Copy link
Copy Markdown
Owner

mkdocs-material over the existing pages under docs/, plus a front page and a quickstart whose every code block was run before it was written down. The changelog stays a root file — a build hook hands it to the site, so there is no second copy to drift. Directories under docs/ are excluded from the build wholesale, the same promise the sdist allowlist makes. Deploys on every push to main; pull requests only build, strictly, so a broken link cannot land.

dhruvl added 4 commits August 4, 2026 17:58
The four pages under docs/ already read as a site; this gives them one.
The changelog stays a root file and the build reads it there, so there is
no second copy to drift. A local checkout carries private notes under
docs/ that git already ignores — exclude_docs keeps a stray build from
publishing them too.
The front page says what simloop is and shows one race found and replayed;
the quickstart walks from pip install to a shrunk schedule, one command at
a time. Every block on both pages was run before it was written down.
Pull requests build it strictly so a broken link cannot land; only main
deploys.
@dhruvl
dhruvl merged commit ef5fa2c into main Aug 4, 2026
11 checks passed
@dhruvl
dhruvl deleted the docs-site branch August 4, 2026 17:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant