Skip to content

Ubuntu

Ubuntu #854

Workflow file for this run

name: Ubuntu
on:
workflow_dispatch:
pull_request:
push:
schedule:
# Every weekday at 01:30 AM UTC
- cron: '30 1 * * 1-5'
#concurrency:
# group: ${{ github.workflow }}-${{ github.ref }}
# cancel-in-progress: ${{ startsWith(github.ref, 'refs/pull/') }}
jobs:
test:
name: GAP ${{ matrix.gap-branch }} - Rust ${{matrix.rust-version}}
runs-on: ubuntu-latest
# Don't run this twice on PRs for branches pushed to the same repository
if: ${{ !(github.event_name == 'pull_request' && github.event.pull_request.head.repo.full_name == github.repository) }}
strategy:
fail-fast: false
matrix:
gap-branch:
- master
- stable-4.13
rust-version:
- stable
#- 1.48
steps:
- uses: actions/checkout@v3
- name: "Set up rust"
uses: actions-rs/toolchain@v1
with:
toolchain: ${{ matrix.rust-version }}
default: true
- name: "Build the rust component of Vole"
run: cd rust && cargo --version && cargo build --release --all-features
- name: "Run the rust tests for Vole"
run: cd rust && cargo test --release -q
- name: "Install GAP and the necessary packages"
uses: gap-actions/setup-gap@v2
with:
GAPBRANCH: ${{ matrix.gap-branch }}
GAP_PKGS_TO_CLONE: "OrbitalGraphs ChrisJefferson/QuickCheck"
GAP_PKGS_TO_BUILD: "datastructures digraphs ferret io json orb profiling"
- name: "Run GAP tests for Vole"
uses: gap-actions/run-pkg-tests@v2
- uses: gap-actions/process-coverage@v2
- uses: codecov/codecov-action@v3
- name: "Setup tmate session"
uses: mxschmitt/action-tmate@v3
if: ${{ failure() }}
timeout-minutes: 15