diff --git a/index.markdown b/index.markdown
index f56df3c..c1f964a 100644
--- a/index.markdown
+++ b/index.markdown
@@ -29,6 +29,7 @@ The CHERIoT project comprises several repositories:
 
  - The  [formal model of the CHERIoT ISA](https://github.com/microsoft/cheriot-sail).
    This is used to build an executable simulator and to prove properties of both the ISA and of implementations.
+   [The current (draft) version of the specification](https://microsoft.github.io/cheriot-sail/cheriot-architecture.pdf) is built in CI.
  - The [CHERIoT RTOS](https://github.com/microsoft/cheriot-rtos), a clean-slate RTOS designed to take advantage of CHERIoT features.
    This provides the compartment model, a heap that can be safely shared across mutually distrusting compartments, and a host of other features.
  - [CHERIoT LLVM](https://github.com/CHERIoT-Platform/llvm-project) provides the toolchain for building the RTOS and other software that runs atop it.