diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml index 5b0f611f..359d1149 100644 --- a/.github/workflows/docs.yaml +++ b/.github/workflows/docs.yaml @@ -8,6 +8,10 @@ on: branches: - docusaurus - master + pull_request: + branches: + - master + - devel permissions: contents: write diff --git a/README.md b/README.md index 9a22ebe4..7ba347e3 100644 --- a/README.md +++ b/README.md @@ -300,7 +300,8 @@ in Web (e.g. in Web REPL) you can use URL: * [Brian Lovin](https://brianlovin.com/hn/38819212) (HN clone) ## Projects that use LIPS -* [Conzept](https://conze.pt) - Topic exploration system for the 21st century (see also their [Twitter account](https://twitter.com/conzept__) and [Command API Documentation](https://conze.pt/guide/command_api)) +* [Conzept](https://conze.pt) - Topic exploration system for the 21st century (see also their [Twitter account](https://twitter.com/conzept__) and [Command API Documentation](https://conze.pt/guide/command_api)). +* [Logoi](https://logoi.website/) - a minimalist "superdialect" of the Prolog and Lisp programming languages. ## Roadmap ### 1.0