From f9016249eef796fa2a2958a85728494bb67f3e71 Mon Sep 17 00:00:00 2001 From: andrussal Date: Tue, 9 Dec 2025 17:52:18 +0100 Subject: [PATCH] Add minimal docs placeholder for GitHub Pages --- docs/_config.yml | 3 +++ docs/index.md | 7 +++++++ 2 files changed, 10 insertions(+) create mode 100644 docs/_config.yml create mode 100644 docs/index.md diff --git a/docs/_config.yml b/docs/_config.yml new file mode 100644 index 0000000..efa17fd --- /dev/null +++ b/docs/_config.yml @@ -0,0 +1,3 @@ +title: Nomos Testing Docs +description: Redirect to mdBook documentation +theme: jekyll-theme-primer diff --git a/docs/index.md b/docs/index.md new file mode 100644 index 0000000..ccf61fd --- /dev/null +++ b/docs/index.md @@ -0,0 +1,7 @@ +# Nomos testing documentation + +The documentation is published via the mdBook pipeline. If you reached this page, visit the book instead: + +- Latest published book: https://logos-co.github.io/nomos-testing/book/ + +This placeholder exists to satisfy the GitHub Pages build job that expects a `docs/` directory.