From eed3062bb725347881e68d93134ad97c37a6fe64 Mon Sep 17 00:00:00 2001
From: Yishuai Li <liyishuai.lys@alibaba-inc.com>
Date: Tue, 24 Oct 2023 15:07:47 +0800
Subject: [PATCH] CI: install Clang

---
 .github/workflows/docker-action.yml | 3 +++
 meta.yml                            | 3 +++
 2 files changed, 6 insertions(+)

diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml
index 67c62f0..2699551 100644
--- a/.github/workflows/docker-action.yml
+++ b/.github/workflows/docker-action.yml
@@ -51,6 +51,9 @@ jobs:
               make -j`nproc` coqdoc
             endGroup
           before_script: |
+            startGroup "Install and configure Clang"
+              opam install conf-clang
+            endGroup
             startGroup "Workaround permission issue"
               sudo chown -R coq:coq .
             endGroup
diff --git a/meta.yml b/meta.yml
index 3ac6437..bc1babe 100644
--- a/meta.yml
+++ b/meta.yml
@@ -53,6 +53,9 @@ action_appendix: |2-
                 make -j`nproc` coqdoc
               endGroup
             before_script: |
+              startGroup "Install and configure Clang"
+                opam install conf-clang
+              endGroup
               startGroup "Workaround permission issue"
                 sudo chown -R coq:coq .
               endGroup