Add pronto CI

.github/workflows/qc.yml

@@ -1,33 +1,42 @@
-# Basic ODK workflow
-
 name: CI
-
-# Controls when the action will run. 
 on:
-  # Triggers the workflow on push or pull request events but only for the main branch
   push:
     branches: [ master ]
   pull_request:
     branches: [ master ]
-
-  # Allows you to run this workflow manually from the Actions tab
   workflow_dispatch:
 
-# A workflow run is made up of one or more jobs that can run sequentially or in parallel
 jobs:
-  # This workflow contains a single job called "ontology_qc"
   ontology_qc:
-    # The type of runner that the job will run on
     runs-on: ubuntu-latest
     container: obolibrary/odkfull:v1.5.1
-
-    # Steps represent a sequence of tasks that will be executed as part of the job
     steps:
-      # Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it
       - uses: actions/checkout@v4
-
       - name: Run ontology QC checks
         env:
           DEFAULT_BRANCH: master
         run: cd src/ontology && make ROBOT_ENV='ROBOT_JAVA_ARGS=-Xmx6G' ROBOT_JAVA_ARGS=-Xmx6g gh_actions
+
+      - name: Set up Python
+        uses: actions/setup-python@v5
+        with:
+          python-version: '3.11'
+
+      - name: Install Pronto
+        run: pip install pronto
 
+      - name: Run Pronto sanity checks
+        run: |
+          python -c "
+          import pronto
+
+          # Load the ontologies
+          efo_base = pronto.Ontology('efo-base.owl')
+          efo_edit = pronto.Ontology('src/ontology/efo-edit.owl')
+
+          print(f'Number of terms: {len(efo_base.terms())}')
+          print(f'Ontology IRI: {efo_base.metadata.ontology_iri}')
+
+          print(f'Number of terms: {len(efo_edit.terms())}')
+          print(f'Ontology IRI: {efo_edit.metadata.ontology_iri}')
+          "