From f6879baea089f34223bf51608866a18c4ca45051 Mon Sep 17 00:00:00 2001 From: Shon Feder Date: Sat, 27 Jul 2024 23:37:47 -0400 Subject: [PATCH] Fix API docs URL Adapting for the move into the org --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 395f1a9..f3e9e0e 100644 --- a/README.md +++ b/README.md @@ -24,7 +24,7 @@ poetry add git+https://github.com/informalsystems/apalache-chai.git ## Documentation -- [API Documentation](https://informalsystems.github.io/apalache-chai/chai.html) +- [API Documentation](https://apalache-mc.github.io/apalache-chai/chai.html) - [Example Application](./example/README.md) ## Development