Skip to content

Commit

Permalink
Add CI job against GAP master
Browse files Browse the repository at this point in the history
  • Loading branch information
lgoettgens committed May 22, 2024
1 parent c53585e commit 2eed2f9
Showing 1 changed file with 72 additions and 0 deletions.
72 changes: 72 additions & 0 deletions .github/workflows/gap.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,72 @@
name: CI with gap master

on:
push:
branches:
- 'master'
- 'release-*'
tags: '*'
pull_request:

concurrency:
# group by workflow and ref; the last slightly strange component ensures that for pull
# requests, we limit to 1 concurrent job, but for the default repository branch we don't
group: ${{ github.workflow }}-${{ github.ref }}-${{ github.ref_name != github.event.repository.default_branch || github.run_number }}
# Cancel intermediate builds, but only if it is a pull request build.
cancel-in-progress: ${{ startsWith(github.ref, 'refs/pull/') }}

jobs:
test:
name: Julia ${{ matrix.julia-version }} - ${{ matrix.os }}
runs-on: ${{ matrix.os }}
timeout-minutes: 20
continue-on-error: ${{ matrix.julia-version == 'nightly' }}
strategy:
fail-fast: false
matrix:
julia-version:
#- '1.6'
- '1.10'
#- 'nightly'
julia-arch:
- x64
os:
- ubuntu-latest
# include:
# Add a few macOS jobs (not too many, the number we can run in parallel is limited)
# - julia-version: '1.10'
# julia-arch: x64
# os: macOS-latest
# - julia-version: 'nightly'
# julia-arch: x64
# os: macOS-latest

steps:
- uses: actions/checkout@v4
with:
# For Codecov, we must also fetch the parent of the HEAD commit to
# be able to properly deal with PRs / merges
fetch-depth: 2
- name: "Set up Julia"
uses: julia-actions/setup-julia@v2
with:
version: ${{ matrix.julia-version }}
arch: ${{ matrix.julia-arch }}
- name: Checkout GAP
uses: actions/checkout@v4
with:
repository: 'gap-system/gap'
ref: 'master'
path: 'GAPROOT'
- name: "Build GAP"
run: |
cd GAPROOT
./autogen.sh
make
- name: "Override bundled GAP"
run: |
julia --proj=override etc/setup_override_dir.jl GAPROOT /tmp/gap_jll_override
- name: "Run tests"
run: |
julia --proj=override etc/run_with_override.jl /tmp/gap_jll_override --depwarn=error -e "using Pkg; Pkg.test()"

0 comments on commit 2eed2f9

Please sign in to comment.