add ontoenv install to github actions

open223 · Jan 22, 2025 · 583733c · 583733c
1 parent fa2858b
commit 583733c
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/.github/workflows/book.yml b/.github/workflows/book.yml
@@ -22,6 +22,12 @@ jobs:
       with:
         fetch-depth: 0
 
+    - name: get ontoenv
+      run: |
+        wget https://github.com/gtfierro/ontoenv-rs/releases/download/v0.1.10a7/ontoenv_v0.1.10a7_x86_64_linux_gnu
+        chmod +x ontoenv_v0.1.10a7_x86_64_linux_gnu
+        sudo mv ontoenv_v0.1.10a7_x86_64_linux_gnu /usr/local/bin/ontoenv
+
     - uses: actions/setup-python@v4
       with:
         python-version: 3.11