From 7e4890a5fefd2ca834548ab9444324f16698bc2f Mon Sep 17 00:00:00 2001
From: Luca Heltai <luca.heltai@sissa.it>
Date: Fri, 29 Apr 2022 10:21:25 +0300
Subject: [PATCH] Make sure we test cgal support in Github CI.

---
 .github/workflows/linux.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/linux.yml b/.github/workflows/linux.yml
index 38d72c4aea..1921887c90 100644
--- a/.github/workflows/linux.yml
+++ b/.github/workflows/linux.yml
@@ -65,6 +65,7 @@ jobs:
             libp4est-dev \
             trilinos-all-dev \
             petsc-dev \
+            libcgal-dev \
             libmetis-dev \
             libhdf5-mpi-dev
     - name: info
-- 
2.39.5