Merge branch 'dev' into dev

Author: BobHanson

.github/workflows/ci.yml

@@ -2,9 +2,9 @@ name: InChI Continuous Integration
 
 on:
   push:
-    branches: [ main, rwth ]
+    branches: [ main, dev ]
   pull_request:
-    branches: [ main, rwth ]
+    branches: [ main, dev ]
   workflow_dispatch:
 
 jobs:
@@ -56,19 +56,19 @@ jobs:
       # We need to install git before checking out the repository.
       # Otherwise, the repository will be downloaded using the GitHub REST API instead of git.
       - uses: actions/checkout@v4
-      
+
       - name: Show Python version
         run: |
           python --version
-      
+
       - name: Configure pip to break system packages
         run: |
           mkdir -p ~/.config/pip
           cat <<EOT >> ~/.config/pip/pip.conf
           [global]
           break-system-packages = true
           EOT
-    
+
       - name: Install test dependencies
         run: |
           python -m pip install --upgrade pip
@@ -93,5 +93,5 @@ jobs:
         if: ${{ !cancelled() && steps.compile_lib.outcome == 'success' }}
         with:
           artifact-name: regression-test-results_musl_gcc
-        
+
       # FIXME: We don't run invariance test on alpine yet because of difficulties with RDKit installation.