test-crab-dev-docker.yaml

# Workflow to build and test crab dev branch 

name: CI-dev

# Controls when the action will run. 
on:
  # Triggers the workflow on push or pull request events but only for the dev branch
  push:
    branches: dev
  pull_request:
    branches: 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

    # Steps represent a sequence of tasks that will be executed as part of the job
    steps:
      # Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it
      - name: Check out Repo 
        uses: actions/checkout@v2
        with:
          ref: dev 
      - name: Build crab without external libraries + run tests 
        run: docker build --build-arg BUILD_TYPE=Release -t seahorn/crab -f docker/crab.dev.Dockerfile .
      - name: Build crab+apron+ldd-boxes and run tests 
        run: docker build --build-arg BUILD_TYPE=Release -t seahorn/crab_apron_boxes -f docker/crab.dev.apron.Dockerfile .
      - name: Build crab+elina and run tests 
        run: docker build --build-arg BUILD_TYPE=Release -t seahorn/crab_elina -f docker/crab.dev.elina.Dockerfile .
      - name: Build crab+pplite (apron interface) and run tests 
        run: docker build --build-arg BUILD_TYPE=Release -t seahorn/crab_pplite -f docker/crab.dev.pplite.Dockerfile .
      - name: Build crab+pplite (native interface) and run tests 
        run: docker build --build-arg BUILD_TYPE=Release -t seahorn/crab_pplite_native -f docker/crab.dev.pplite_native.Dockerfile .