From b447e2f67b2cda785e3955ecd5e40179f0d0632c Mon Sep 17 00:00:00 2001
From: Enrico Seiler <enrico.seiler@hotmail.de>
Date: Mon, 13 Nov 2023 12:01:26 +0100
Subject: [PATCH] [INFRA] Add libc++ header test CI

---
 .github/workflows/ci_misc.yml | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/.github/workflows/ci_misc.yml b/.github/workflows/ci_misc.yml
index df98a2459a..0cd25de316 100644
--- a/.github/workflows/ci_misc.yml
+++ b/.github/workflows/ci_misc.yml
@@ -43,6 +43,13 @@ jobs:
             build_type: Release
             test_threads: 2
 
+          - name: "Header clang17 libc++"
+            compiler: "clang-17"
+            build: header
+            build_type: Release
+            test_threads: 2
+            cxx_flags: "-stdlib=libc++"
+
           - name: "Header gcc13"
             compiler: "gcc-13"
             build: header