Merge branch 'main' of github.com:JamesYang007/adelie into main

.github/workflows/build_docs.yml

@@ -33,6 +33,7 @@ jobs:
     - name: Install adelie
       run: |
         pip install -e .
+        python -c "import adelie"
     # Standard drop-in approach that should work for most people.
     - name: Build documentation
       run: |