From 352dc1dbff5510447bf2e81fc0c8d724603905c4 Mon Sep 17 00:00:00 2001 From: caballa Date: Tue, 9 Apr 2024 12:43:17 -0600 Subject: [PATCH] ci: run pplite --- .github/workflows/test-crab-dev-docker.yaml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.github/workflows/test-crab-dev-docker.yaml b/.github/workflows/test-crab-dev-docker.yaml index fb4185cf..19c6b2fa 100644 --- a/.github/workflows/test-crab-dev-docker.yaml +++ b/.github/workflows/test-crab-dev-docker.yaml @@ -30,3 +30,7 @@ jobs: 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 .