refactor(domains): replace abstract_domain_macros.def with CRTP mixins #1282

	# Workflow to build and test crab on the master and dev branches

	name: Per-Commit

	# Controls when the action will run.
	on:
	# Triggers the workflow on push or pull request events for master and dev
	push:
	branches: [master, dev]
	pull_request:
	branches: [master, dev]

	# A workflow run is made up of one or more jobs that can run sequentially or in parallel
	jobs:
	# This workflow contains a single job called "test"
	test:
	# The type of runner that the job will run on
	runs-on: ubuntu-latest
	name: ${{ matrix.config }}

	# Each configuration runs on its own fresh runner so the builds do not share
	# (and exhaust) a single runner's disk. The configurations themselves are
	# defined in docker/configs.sh.
	strategy:
	fail-fast: false
	matrix:
	config: [default, apron, elina, pplite, pplite-native]

	# Steps represent a sequence of tasks that will be executed as part of the job
	steps:
	# Checks-out the branch that triggered the workflow (or the merge commit
	# of the pull request) under $GITHUB_WORKSPACE
	- name: Check out Repo
	uses: actions/checkout@v2
	- name: Build crab (${{ matrix.config }}) and run tests
	run: docker/build.sh ${{ matrix.config }}

Navigation Menu