Build and testing workflow now configured correctly. Passed both Unit and Integration test in my fork, yay! #6
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # This workflow will build a Java project with Ant | |
| # For more information see: https://docs.github.com/en/actions/automating-builds-and-tests/building-and-testing-java-with-ant | |
| name: Java CI with Ant | |
| on: | |
| push: | |
| branches: [ "master", "main" ] | |
| pull_request: | |
| branches: [ "master", "main" ] | |
| workflow_dispatch: | |
| inputs: | |
| debug_enabled: | |
| type: boolean | |
| description: 'Run the build with tmate debugging enabled (https://github.com/marketplace/actions/debugging-with-tmate)' | |
| required: false | |
| default: false | |
| permissions: | |
| id-token: write | |
| contents: read | |
| checks: write | |
| jobs: | |
| build: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: checkout sigmanlp | |
| uses: actions/checkout@v4 | |
| with: | |
| path: sigmanlp | |
| - name: checkout sigmakee | |
| uses: actions/checkout@v4 | |
| with: | |
| repository: 'ontologyportal/sigmakee' | |
| path: sigmakee | |
| - name: checkout TPTP-ANTLR | |
| uses: actions/checkout@v4 | |
| with: | |
| repository: 'ontologyportal/TPTP-ANTLR' | |
| path: TPTP-ANTLR | |
| - name: checkout SigmaUtils | |
| uses: actions/checkout@v4 | |
| with: | |
| repository: 'ontologyportal/SigmaUtils' | |
| path: SigmaUtils | |
| - name: checkout sumo | |
| uses: actions/checkout@v4 | |
| with: | |
| repository: 'ontologyportal/sumo' | |
| path: sumo | |
| # Enable tmate debugging of manually-triggered workflows if the input option was provided | |
| - name: Setup tmate session | |
| # if: failure() && github.event_name == 'workflow_dispatch' | |
| if: ${{ github.event_name == 'workflow_dispatch' && inputs.debug_enabled }} | |
| uses: mxschmitt/action-tmate@v3 | |
| - name: Setup SigmaNLP | |
| env: | |
| ONTOLOGYPORTAL_GIT: ${{ github.workspace }} | |
| SIGMA_HOME: ${{ github.workspace }}/sigmakee-runtime | |
| SIGMA_SRC: ${{ github.workspace }}/sigmakee | |
| CORPORA: ${{ github.workspace }}/sigmanlp/corpora | |
| working-directory: ${{ github.workspace }} | |
| run: | | |
| echo "SIGMA_HOME: $SIGMA_HOME" | |
| echo "SIGMA_SRC: $SIGMA_SRC" | |
| echo "ONTOLOGYPORTAL_GIT: $ONTOLOGYPORTAL_GIT" | |
| echo "CORPORA: $CORPORA" | |
| mkdir -p $SIGMA_HOME/KBs/WordNetMappings | |
| cp $SIGMA_SRC/config.xml $SIGMA_HOME/KBs | |
| cp -R $ONTOLOGYPORTAL_GIT/sumo/* $SIGMA_HOME/KBs | |
| wget 'https://wordnetcode.princeton.edu/3.0/WordNet-3.0.tar.gz' | |
| tar -xvzf WordNet-3.0.tar.gz | |
| cp WordNet-3.0/dict/* $SIGMA_HOME/KBs/WordNetMappings/ | |
| wget 'https://nlp.stanford.edu/software/stanford-corenlp-4.5.7.zip' | |
| unzip stanford-corenlp-4.5.7.zip | |
| cp stanford-corenlp-4.5.7/stanford-corenlp-4.5.7.jar sigmanlp/lib | |
| cp stanford-corenlp-4.5.7/stanford-corenlp-4.5.7-models.jar sigmanlp/lib | |
| - name: Set up JDK 11 for x64 | |
| uses: actions/setup-java@v4 | |
| with: | |
| java-version: '11' | |
| distribution: 'temurin' | |
| - name: Build with Ant | |
| env: | |
| ONTOLOGYPORTAL_GIT: ${{ github.workspace }} | |
| SIGMA_HOME: ${{ github.workspace }}/sigmakee-runtime | |
| SIGMA_SRC: ${{ github.workspace }}/sigmakee | |
| CORPORA: ${{ github.workspace }}/sigmanlp/corpora | |
| run: ant | |
| working-directory: ./sigmanlp | |
| - name: Prepare test env | |
| env: | |
| ONTOLOGYPORTAL_GIT: ${{ github.workspace }} | |
| SIGMA_HOME: ${{ github.workspace }}/sigmakee-runtime | |
| SIGMA_SRC: ${{ github.workspace }}/sigmakee | |
| CORPORA: ${{ github.workspace }}/sigmanlp/corpora | |
| working-directory: ./sigmanlp | |
| run: | | |
| sed -i "s|/home/apease/.sigmakee|$SIGMA_HOME|g" $SIGMA_SRC/test/unit/java/resources/config_topOnly.xml | |
| sed -i "s|/home/apease/workspace/sumo|$ONTOLOGYPORTAL_GIT/sumo|g" $SIGMA_SRC/test/unit/java/resources/config_topOnly.xml | |
| sed -i "s|/home/apease/E/bin/e_ltb_runner|/usr/local/bin/e_ltb_runner|g" $SIGMA_SRC/test/unit/java/resources/config_topOnly.xml | |
| sed -i "s|/home/apease/workspace/vampire/vampire|/usr/local/bin/vampire|g" $SIGMA_SRC/test/unit/java/resources/config_topOnly.xml | |
| - name: Run unit tests | |
| env: | |
| ONTOLOGYPORTAL_GIT: ${{ github.workspace }} | |
| SIGMA_HOME: ${{ github.workspace }}/sigmakee-runtime | |
| SIGMA_SRC: ${{ github.workspace }}/sigmakee | |
| CORPORA: ${{ github.workspace }}/sigmanlp/corpora | |
| working-directory: ./sigmanlp | |
| run: | | |
| ant test.unit | |
| - name: Setup SIGMA_HOME for integration tests | |
| env: | |
| ONTOLOGYPORTAL_GIT: ${{ github.workspace }} | |
| SIGMA_HOME: ${{ github.workspace }}/sigmakee-runtime | |
| SIGMA_SRC: ${{ github.workspace }}/sigmakee | |
| CORPORA: ${{ github.workspace }}/sigmanlp/corpora | |
| working-directory: ${{ github.workspace }} | |
| run: | | |
| find $SIGMA_HOME/KBs -name '*.ser' -delete | |
| cp $SIGMA_SRC/config.xml $SIGMA_HOME/KBs | |
| sed -i "s|/home/theuser/.sigmakee|$SIGMA_HOME|g" $SIGMA_HOME/KBs/config.xml | |
| sed -i "s|/home/theuser/workspace/sumo|$ONTOLOGYPORTAL_GIT/sumo|g" $SIGMA_HOME/KBs/config.xml | |
| sed -i "s|/home/theuser/E/bin/e_ltb_runner|/usr/local/bin/e_ltb_runner|g" $SIGMA_HOME/KBs/config.xml | |
| sed -i "s|/home/theuser/workspace/vampire/vampire|/usr/local/bin/vampire|g" $SIGMA_HOME/KBs/config.xml | |
| sed -i '/<kb name/,/<\/kb>/d' $SIGMA_HOME/KBs/config.xml | |
| - name: Setup KB for integration tests | |
| env: | |
| ONTOLOGYPORTAL_GIT: ${{ github.workspace }} | |
| SIGMA_HOME: ${{ github.workspace }}/sigmakee-runtime | |
| SIGMA_SRC: ${{ github.workspace }}/sigmakee | |
| CORPORA: ${{ github.workspace }}/sigmanlp/corpora | |
| working-directory: ${{ github.workspace }} | |
| run: > | |
| sed -i '/<\/configuration>/i\ | |
| <kb name="SUMO">\n | |
| <constituent filename="Merge.kif"\/>\n | |
| <constituent filename="Mid-level-ontology.kif"\/>\n | |
| <constituent filename="english_format.kif"\/>\n | |
| <constituent filename="domainEnglishFormat.kif"\/>\n | |
| <\/kb>' $SIGMA_HOME/KBs/config.xml | |
| - name: Run integration tests | |
| env: | |
| ONTOLOGYPORTAL_GIT: ${{ github.workspace }} | |
| SIGMA_HOME: ${{ github.workspace }}/sigmakee-runtime | |
| SIGMA_SRC: ${{ github.workspace }}/sigmakee | |
| CORPORA: ${{ github.workspace }}/sigmanlp/corpora | |
| working-directory: ./sigmanlp | |
| run: | | |
| ant test.integration | |
| - name: Prune KB after integration tests | |
| env: | |
| SIGMA_HOME: ${{ github.workspace }}/sigmakee-runtime | |
| working-directory: ${{ github.workspace }} | |
| run: | | |
| find $SIGMA_HOME/KBs -name '*.ser' -delete | |
| rm -rf $SIGMA_HOME/KBs/tests |