Ubuntu #844

	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

Provide feedback