Merge branch 'main' of https://github.com/aclai-lab/SoleReasoners.jl

Author: alberto-paparella

.github/workflows/Documentation.yml

@@ -3,7 +3,6 @@ on:
   push:
     branches:
       - main
-      - dev
     tags: '*'
   pull_request:
 
@@ -20,4 +19,5 @@ jobs:
       - name: Build and deploy
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # For authentication with GitHub Actions token
+          DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }}
         run: julia --project=docs/ docs/make.jl