Skip to content

Commit

Permalink
ci: simplify GAP tests
Browse files Browse the repository at this point in the history
  • Loading branch information
james-d-mitchell committed Oct 7, 2023
1 parent 167a5d8 commit 60d08ee
Show file tree
Hide file tree
Showing 4 changed files with 91 additions and 77 deletions.
91 changes: 91 additions & 0 deletions .github/workflows/downstream.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,91 @@
name: "Downstream"
on:
workflow_dispatch:
pull_request:
push:
branches:
- "main"
- "stable-*.*"

concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true

jobs:
GAP:
env:
GAP_VERSION: "4.12.2"
GAP_SEMIGROUPS_REPO: "semigroups"
GAP_SEMIGROUPS_BRANCH: "stable-5.3"
GAP: "gap -A -T --quitonbreak"
name: GAP 4.12.2 / Semigroups / stable-5.3 / ubuntu / 64-bit
runs-on: ubuntu-latest
container:
image: jamesdbmitchell/gap-docker-minimal:version-4.12.2
options: --user root
volumes:
- ${{ github.workspace }}:/home/libsemigroups
steps:
- name: "Checkout libsemigroups"
uses: actions/checkout@v3
- name: "Install git + autotools"
run: |
sudo apt-get --yes update
sudo apt-get install git --yes
sudo apt-get install pkg-config m4 libtool automake autoconf --yes
sudo apt-get install libtool-bin --yes
- name: "Setup ccache"
uses: Chocobo1/setup-ccache-action@v1
with:
update_packager_index: false
override_cache_key: ${{ runner.os }}-v4.12.2-64-${{ github.ref }}
override_cache_key_fallback: ${{ runner.os }}-v4.12.2-64
- name: "Clone the Semigroups GAP package"
run: |
rm -rf /home/gap/inst/gap-$GAP_VERSION/pkg/semigroups-*.*.*
cd /home/gap/inst/gap-$GAP_VERSION/pkg
git clone -b $GAP_SEMIGROUPS_BRANCH --depth=1 https://github.com/$GAP_SEMIGROUPS_REPO/Semigroups.git Semigroups
cp -r /home/libsemigroups Semigroups
- name: "Build the Semigroups GAP package"
run: |
cd /home/gap/inst/gap-$GAP_VERSION/pkg/Semigroups
cp .LIBSEMIGROUPS_VERSION libsemigroups/.VERSION # FIXME
./autogen.sh
./configure --disable-hpcombi
make -j4
- name: "Install Semigroups GAP package dependencies"
run: |
echo "LoadPackage(\"PackageManager\"); QuitGap(InstallPackage(\"autodoc\", false));" | $GAP
echo "LoadPackage(\"PackageManager\"); QuitGap(InstallPackage(\"datastructures\", false));" | $GAP
echo "LoadPackage(\"PackageManager\"); QuitGap(InstallPackage(\"digraphs\", false));" | $GAP
echo "LoadPackage(\"PackageManager\"); QuitGap(InstallPackage(\"genss\", false));" | $GAP
echo "LoadPackage(\"PackageManager\"); QuitGap(InstallPackage(\"images\", false));" | $GAP
echo "LoadPackage(\"PackageManager\"); QuitGap(InstallPackage(\"orb\", false) and CompilePackage(\"orb\"));" | $GAP
- name: "Run Semigroups GAP package workspace tests"
run: |
cd /home/gap/inst/gap-$GAP_VERSION/pkg/Semigroups
$GAP tst/workspaces/save.g
$GAP -L tst/workspaces/test-output.w tst/workspaces/load.g
- name: "Run Semigroups GAP package standard tests"
run: |
cd /home/gap/inst/gap-4.12.2/pkg/Semigroups
$GAP tst/teststandard.g
- name: "Run GAP testinstall"
run: |
cd /home/gap/inst/gap-$GAP_VERSION/pkg/Semigroups
$GAP ci/run-gap-testinstall.g
- name: "Run GAP teststandard"
run: |
cd /home/gap/inst/gap-$GAP_VERSION/
rm -f tst/teststandard/ctblsymm.tst
cd pkg/Semigroups
$GAP ci/run-gap-teststandard.g
- name: "Run GAP testbugfix"
run: |
cd /home/gap/inst/gap-$GAP_VERSION/
rm -f tst/testbugfix/2016-03-03-t00332.tst
rm -f tst/testbugfix/2018-05-24-IntermediateSubgroups.tst
rm -f tst/testbugfix/2018-09-13-MTC.tst
rm -f tst/testbugfix/2018-12-06-GroupWithGenerators.tst
cd pkg/Semigroups
$GAP ci/run-gap-testbugfix.g
5 changes: 0 additions & 5 deletions azure-pipelines.yml
Original file line number Diff line number Diff line change
Expand Up @@ -14,11 +14,6 @@ pool:
vmImage: 'ubuntu-latest'

jobs:
- job: GAP
steps:
- script: ci/launch-gap-docker-container.sh
displayName: 'Running the Semigroups package for GAP tests in docker container. . .'

- job: quick
steps:
- bash: |
Expand Down
19 changes: 0 additions & 19 deletions ci/launch-gap-docker-container.sh

This file was deleted.

53 changes: 0 additions & 53 deletions ci/run-gap-tests-in-docker-container.sh

This file was deleted.

0 comments on commit 60d08ee

Please sign in to comment.