ci: move checking of external planarity to gh actions #1710
Workflow file for this run
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
| name: "GAP" | |
| on: | |
| workflow_dispatch: | |
| pull_request: | |
| push: | |
| schedule: | |
| # Every day at 3:30 AM UTC | |
| - cron: '30 3 * * *' | |
| env: | |
| DIGRAPHS_LIB: digraphs-lib-0.6 | |
| jobs: | |
| test-unix: | |
| name: "${{ matrix.os }}${{ matrix.ABI }} / GAP ${{ matrix.gap-branch }}" | |
| runs-on: "${{ matrix.os }}-latest" | |
| # Don't run this twice for PRs from branches in the same repository | |
| if: ${{ !(github.event_name == 'pull_request' && github.event.pull_request.head.repo.full_name == github.repository) }} | |
| strategy: | |
| fail-fast: false | |
| matrix: | |
| os: | |
| - ubuntu | |
| gap-branch: | |
| - master | |
| - stable-4.11 | |
| - stable-4.12 | |
| pkgs-to-clone: | |
| - NautyTracesInterface | |
| ABI: [''] | |
| include: | |
| - gap-branch: stable-4.10 | |
| pkgs-to-clone: datastructures | |
| os: ubuntu | |
| - gap-branch: master | |
| pkgs-to-clone: "datastructures NautyTracesInterface" | |
| os: macos | |
| - gap-branch: master | |
| os: ubuntu | |
| ABI: 32 | |
| steps: | |
| - uses: actions/checkout@v3 | |
| - name: "Install dependencies" | |
| if: ${{ runner.os == 'macOS' }} | |
| run: brew install automake | |
| - name: "Install GAP and clone/compile necessary packages" | |
| uses: gap-actions/setup-gap@v2 | |
| with: | |
| GAP_PKGS_TO_CLONE: "${{ matrix.pkgs-to-clone }}" | |
| GAP_PKGS_TO_BUILD: "io orb profiling grape NautyTracesInterface datastructures" | |
| GAPBRANCH: ${{ matrix.gap-branch }} | |
| ABI: ${{ matrix.ABI }} | |
| - name: "Build Digraphs" | |
| uses: gap-actions/build-pkg@v1 | |
| with: | |
| ABI: ${{ matrix.ABI }} | |
| - name: "Install digraphs-lib" | |
| run: | | |
| curl --retry 5 -L -O "https://digraphs.github.io/Digraphs/${{ env.DIGRAPHS_LIB }}.tar.gz" | |
| tar xf "${{ env.DIGRAPHS_LIB }}.tar.gz" | |
| - name: "Run DigraphsTestInstall" | |
| if: ${{ always() }} | |
| uses: gap-actions/run-pkg-tests@v2 | |
| with: | |
| GAP_TESTFILE: "tst/github_actions/install.g" | |
| - name: "Run DigraphsTestStandard" | |
| if: ${{ always() }} | |
| uses: gap-actions/run-pkg-tests@v2 | |
| with: | |
| GAP_TESTFILE: "tst/github_actions/standard.g" | |
| - name: "Run DigraphsTestManualExamples" | |
| if: ${{ always() }} | |
| uses: gap-actions/run-pkg-tests@v2 | |
| with: | |
| GAP_TESTFILE: "tst/github_actions/examples.g" | |
| - name: "Run DigraphsTestExtreme" | |
| if: ${{ always() }} | |
| uses: gap-actions/run-pkg-tests@v2 | |
| with: | |
| GAP_TESTFILE: "tst/github_actions/extreme.g" | |
| - uses: gap-actions/process-coverage@v2 | |
| if: ${{ always() }} | |
| - uses: codecov/codecov-action@v3 | |
| if: ${{ always() }} | |
| test-cygwin: | |
| name: "cygwin / GAP master" | |
| runs-on: windows-2019 | |
| if: ${{ !(github.event_name == 'pull_request' && github.event.pull_request.head.repo.full_name == github.repository) }} | |
| env: | |
| CHERE_INVOKING: 1 | |
| steps: | |
| - uses: actions/checkout@v3 | |
| - uses: gap-actions/setup-cygwin@v1 | |
| - uses: gap-actions/setup-gap@cygwin-v2 | |
| with: | |
| GAP_PKGS_TO_BUILD: "io orb profiling grape datastructures" | |
| - uses: gap-actions/build-pkg@cygwin-v1 | |
| - name: "Install digraphs-lib" | |
| run: | | |
| curl --retry 5 -L -O "https://digraphs.github.io/Digraphs/${{ env.DIGRAPHS_LIB }}.tar.gz" | |
| tar xf "${{ env.DIGRAPHS_LIB }}.tar.gz" | |
| - uses: gap-actions/run-pkg-tests@cygwin-v2 | |
| - uses: gap-actions/process-coverage@cygwin-v2 | |
| - uses: codecov/codecov-action@v3 | |
| with-external-planarity-bliss: | |
| runs-on: "ubuntu-latest" | |
| env: | |
| GAPBRANCH: "stable-4.12" | |
| ABI: 64 | |
| PKG_CONFIG_PATH: "/home/runner/micromamba/envs/digraphs/lib/pkgconfig:/home/runner/micromamba/envs/digraphs/share/pkgconfig/" | |
| LD_LIBRARY_PATH: "/home/runner/micromamba/envs/digraphs/lib" | |
| CFLAGS: "-I/home/runner/micromamba/envs/digraphs/include" | |
| LDFLAGS: "-L/home/runner/micromamba/envs/digraphs/lib" | |
| defaults: | |
| run: | |
| shell: bash -l {0} | |
| steps: | |
| - uses: actions/checkout@v3 | |
| - name: "Install micromamba environment from environment.yml . . ." | |
| uses: mamba-org/setup-micromamba@v1 | |
| with: | |
| environment-file: environment.yml | |
| cache-environment: true | |
| - name: "Activate \"digraphs\" environment . . ." | |
| run: micromamba activate digraphs | |
| - name: "Install GAP and clone/compile necessary packages" | |
| uses: gap-actions/setup-gap@v2 | |
| with: | |
| GAP_PKGS_TO_BUILD: "io orb profiling grape datastructures" | |
| - name: "Build Digraphs" | |
| uses: gap-actions/build-pkg@v1 | |
| with: | |
| CONFIGFLAGS: --with-external-planarity --with-external-bliss | |
| - name: "Run Digraphs package's tst/teststandard.g" | |
| uses: gap-actions/run-pkg-tests@v2 |