ci: run pplite

seahorn · Apr 9, 2024 · 352dc1d · 352dc1d
1 parent 733d448
commit 352dc1d
Showing 1 changed file with 4 additions and 0 deletions.
diff --git 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 .